diff options
Diffstat (limited to 'pull-binary-libs.sh')
-rwxr-xr-x | pull-binary-libs.sh | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/pull-binary-libs.sh b/pull-binary-libs.sh deleted file mode 100755 index 6c94e39fe7..0000000000 --- a/pull-binary-libs.sh +++ /dev/null @@ -1,20 +0,0 @@ -#!/usr/bin/env bash -# -# 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... -pullJarFiles $(pwd) |