diff options
Diffstat (limited to 'scripts/fetch-curl.sh')
| -rw-r--r-- | scripts/fetch-curl.sh | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/scripts/fetch-curl.sh b/scripts/fetch-curl.sh index 80d70ee0..a6d5af57 100644 --- a/scripts/fetch-curl.sh +++ b/scripts/fetch-curl.sh @@ -1,5 +1,3 @@ -: "${SHA256SUM:=sha256sum}" - set -e if [ "$#" != 1 ] ; then @@ -16,9 +14,9 @@ if [ -e src ] ; then rm -rf src fi -if ! $SHA256SUM -c sha256 2>/dev/null ; then +if ! sh "$OLDPWD/scripts/checksum.sh" -c sha256 2>/dev/null ; then curl -L -K url -O - $SHA256SUM -c sha256 + sh "$OLDPWD/scripts/checksum.sh" -c sha256 fi while read -r _ archive ; do |