diff options
Diffstat (limited to 'script/vendor')
| -rwxr-xr-x | script/vendor/download | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/script/vendor/download b/script/vendor/download index 9431c441..736d8cc5 100755 --- a/script/vendor/download +++ b/script/vendor/download @@ -94,6 +94,7 @@ fetch() dl="${2}" dl_bkup="${3}" dlsum="${4}" + [ "${5}" = "/dev/null" ] && return 0 [ "${5# }" = "${5}" ] || err "fetch: space not allowed in _dest: '${5}'" [ "${5#/}" = "${5}" ] || err "fetch: absolute path not allowed: '${5}'" _dest="${5##*../}" |