s434730/RandomSec
3
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

fixes issues in case wget is not found in path

Browse Source 
git-svn-id: http://google-refine.googlecode.com/svn/trunk@397 7d457c2a-affb-35e4-300a-418c747d4874
This commit is contained in:
Stefano Mazzocchi 2010-04-06 23:13:09 +00:00
parent 5afd2e8c00
commit 1ad122ee47
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gridworks
View File

@ -114,15 +114,15 @@ download() {
CURL="`which curl`"
WGET="`which wget`"
if [ $CURL == "" ] && [ $WGET == "" ]; then
if [ "$CURL" == "" ] && [ "$WGET" == "" ]; then
error "We need either 'curl' or 'wget' present in PATH to download external dependencies."
fi
if [ $CURL != "" ] ; then
if [ "$CURL" != "" ] ; then
curl -o $DEST $URL || exit 1
fi
if [ $WGET != "" ] ; then
if [ "$WGET" != "" ] ; then
wget -O $DEST $URL || exit 1
fi
}