| commit | c5110e99ebff7e3a41e77986b9e2ca96aa7f7484 | [log] [tgz] |
|---|---|---|
| author | Donn <me@donn.website> | Tue Jun 22 17:13:16 2021 +0200 |
| committer | GitHub <noreply@github.com> | Tue Jun 22 17:13:16 2021 +0200 |
| tree | 50ba090ad33b29a1bddfc95d0d640f6fa9d15660 | |
| parent | c7ce9ba4f0f674cff9e25d2892dc7cbb04639ea0 [diff] |
Another bugfix
diff --git a/scripts/download.sh b/scripts/download.sh index a490c9b..2a5e3a2 100755 --- a/scripts/download.sh +++ b/scripts/download.sh
@@ -26,7 +26,7 @@ set -e -if [ "${1: -3}" == ".gz"; ] then +if [ "${1: -3}" == ".gz" ] ; then # Neither curl or wget are guaranteed to be included in all *nix systems, # (but most have *one* of them). This tools tries its best to find one. @@ -75,3 +75,4 @@ fi exit 0 +