Permalink
Browse files

jldownload: prefer curl to wget (better error handling)

  • Loading branch information...
1 parent f0f07df commit 90602901145a2a0a8330eeb382b3b665dc94fecc @nolta nolta committed Sep 5, 2012
Showing with 3 additions and 3 deletions.
  1. +3 −3 deps/jldownload
View
6 deps/jldownload
@@ -28,10 +28,10 @@ else
exit 1
fi
-if [ -x $WGET ]; then
- GETURL="$WGET $WGET_OPTS"
-elif [ -x $CURL ]; then
+if [ -x $CURL ]; then
GETURL="$CURL $CURL_OPTS"
+elif [ -x $WGET ]; then
+ GETURL="$WGET $WGET_OPTS"
elif [ -x $FETCH ]; then
GETURL="$FETCH $FETCH_OPTS"
else

1 comment on commit 9060290

@StefanKarpinski
The Julia Language member

+1

Please sign in to comment.