diff options
| author | Vlad Ureche <vlad.ureche@gmail.com> | 2012-02-27 13:41:31 +0100 |
|---|---|---|
| committer | Vlad Ureche <vlad.ureche@gmail.com> | 2012-02-27 13:41:31 +0100 |
| commit | 1bf6edcf4c7b264a82a347bf1f022bdf22de5cf0 (patch) | |
| tree | 32a55870444942a61c203c9dba370edc0e081da5 /pull-binary-libs.sh | |
| parent | 0cd7a6726cdbeac247d0a41d0b8a958baf5d57f7 (diff) | |
| download | scala-1bf6edcf4c7b264a82a347bf1f022bdf22de5cf0.tar.gz scala-1bf6edcf4c7b264a82a347bf1f022bdf22de5cf0.tar.bz2 scala-1bf6edcf4c7b264a82a347bf1f022bdf22de5cf0.zip | |
Update pull-binary-libs.sh to cope with curl not installed
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... |