diff options
author | Josh Suereth <Joshua.Suereth@gmail.com> | 2012-02-27 04:43:40 -0800 |
---|---|---|
committer | Josh Suereth <Joshua.Suereth@gmail.com> | 2012-02-27 04:43:40 -0800 |
commit | 44bc4b1221e9a41958e135eb21321726551960ac (patch) | |
tree | 32a55870444942a61c203c9dba370edc0e081da5 | |
parent | 0cd7a6726cdbeac247d0a41d0b8a958baf5d57f7 (diff) | |
parent | 1bf6edcf4c7b264a82a347bf1f022bdf22de5cf0 (diff) | |
download | scala-44bc4b1221e9a41958e135eb21321726551960ac.tar.gz scala-44bc4b1221e9a41958e135eb21321726551960ac.tar.bz2 scala-44bc4b1221e9a41958e135eb21321726551960ac.zip |
Merge pull request #241 from VladUreche/patch-1
Update pull-binary-libs.sh to cope with curl not installed
-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... |