From 1bf6edcf4c7b264a82a347bf1f022bdf22de5cf0 Mon Sep 17 00:00:00 2001
From: Vlad Ureche <vlad.ureche@gmail.com>
Date: Mon, 27 Feb 2012 13:41:31 +0100
Subject: Update pull-binary-libs.sh to cope with curl not installed

---
 pull-binary-libs.sh | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'pull-binary-libs.sh')

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...
-- 
cgit v1.2.3