diff options
Diffstat (limited to 'pull-binary-libs.sh')
| -rwxr-xr-x | pull-binary-libs.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/pull-binary-libs.sh b/pull-binary-libs.sh index 65d95908a3..6c94e39fe7 100755 --- a/pull-binary-libs.sh +++ b/pull-binary-libs.sh @@ -2,6 +2,18 @@ # # Script to pull binary artifacts for scala from the remote repository. +# Avoid corrupting the jar cache in ~/.sbt and the ugly crash when curl is not installed +# This affects Linux systems mostly, because wget is the default download tool and curl +# is not installed at all. +curl --version &> /dev/null +if [ $? -ne 0 ] +then + echo "" + echo "Please install curl to download the jar files necessary for building Scala." + echo "" + exit 1 +fi + . $(dirname $0)/tools/binary-repo-lib.sh # TODO - argument parsing... |