diff options
| -rwxr-xr-x | code/makefile_patch.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/code/makefile_patch.sh b/code/makefile_patch.sh index 524a9196..16988a64 100755 --- a/code/makefile_patch.sh +++ b/code/makefile_patch.sh @@ -95,7 +95,7 @@ function check_or_download_file_sha512sum() wget --progress=dot:giga ${file_url} fi - if [ ! -z ${sha512sum_url_url} ]; then + if [ ! -z ${sha512sum_url} ]; then rm -f $(basename ${sha512sum_url}) wget ${sha512sum_url} sha512sum -c $(basename ${sha512sum_url}) |