From 3dacb18da57ff5222a8d754c76b130cc7308dc39 Mon Sep 17 00:00:00 2001 From: Mike Nolta Date: Sun, 24 Mar 2013 01:11:47 -0400 Subject: [PATCH] fix #2661 --- deps/jldownload | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/deps/jldownload b/deps/jldownload index 07699739c887f..2461b9c913ec2 100755 --- a/deps/jldownload +++ b/deps/jldownload @@ -16,18 +16,18 @@ FETCH_OPTS= if [ $# -eq 1 ]; then CURL_OPTS="$CURL_OPTS -O" URL=$1 - URL_BASENAME=`basename $1` - MIRROR_URL="$MIRROR_HOST/$URL_BASENAME" elif [ $# -eq 2 ]; then WGET_OPTS="$WGET_OPTS -O $1" CURL_OPTS="$CURL_OPTS -o $1" FETCH_OPTS="$FETCH_OPTS -o $1" URL=$2 - MIRROR_URL="$MIRROR_HOST/$1" else exit 1 fi +URL_BASENAME=`basename $URL` +MIRROR_URL="$MIRROR_HOST/$URL_BASENAME" + if [ -x $CURL ]; then GETURL="$CURL $CURL_OPTS" elif [ -x $WGET ]; then