diff options
| -rwxr-xr-x | support/download/check-hash | 2 | ||||
| -rwxr-xr-x | support/download/dl-wrapper | 3 |
2 files changed, 1 insertions, 4 deletions
diff --git a/support/download/check-hash b/support/download/check-hash index 4c07274cc9..cee64ef310 100755 --- a/support/download/check-hash +++ b/support/download/check-hash @@ -23,7 +23,7 @@ file="${2}" base="${3}" # Does the hash-file exist? -if [ ! -f "${h_file}" ]; then +if [ -z "${h_file}" -o ! -f "${h_file}" ]; then exit 0 fi diff --git a/support/download/dl-wrapper b/support/download/dl-wrapper index 3b30840a0c..514118c57f 100755 --- a/support/download/dl-wrapper +++ b/support/download/dl-wrapper @@ -44,9 +44,6 @@ main() { if [ -z "${output}" ]; then error "no output specified, use -o\n" fi - if [ -z "${hfile}" ]; then - error "no hash-file specified, use -H\n" - fi # If the output file already exists, do not download it again if [ -e "${output}" ]; then |
