diff options
| -rwxr-xr-x | support/download/check-hash | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/support/download/check-hash b/support/download/check-hash index 13a76b8df5..3483077c55 100755 --- a/support/download/check-hash +++ b/support/download/check-hash @@ -33,6 +33,7 @@ base="${3}" # Does the hash-file exist? if [ -z "${h_file}" -o ! -f "${h_file}" ]; then + printf "WARNING: no hash file for %s\n" "${base}" >&2 exit 0 fi |
