diff options
-rwxr-xr-x | scripts/get-prebuilt.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/get-prebuilt.sh b/scripts/get-prebuilt.sh index 3bee6b3f..d7e8d52d 100755 --- a/scripts/get-prebuilt.sh +++ b/scripts/get-prebuilt.sh @@ -16,7 +16,7 @@ if test x$1 != xskipprebuilt ; then fi if test $age -gt 0 ; then networkerror=no - curl -3 -s -L "content_prefix/prebuilt.list" > prebuilt.list.tmp + curl -3 -s -L "$content_prefix/prebuilt.list" > prebuilt.list.tmp if test x$? != x0 ; then networkerror=yes fi |