hmm, let's see if this fixes the problem that David is seeing but I can't repro
git-svn-id: http://google-refine.googlecode.com/svn/trunk@396 7d457c2a-affb-35e4-300a-418c747d4874
This commit is contained in:
parent
687eae475d
commit
5afd2e8c00
@ -111,16 +111,18 @@ get_url_file() {
|
|||||||
download() {
|
download() {
|
||||||
URL=$1
|
URL=$1
|
||||||
DEST=$2
|
DEST=$2
|
||||||
|
CURL="`which curl`"
|
||||||
|
WGET="`which wget`"
|
||||||
|
|
||||||
if [ `which curl` == "" ] && [ `which wget` == "" ]; then
|
if [ $CURL == "" ] && [ $WGET == "" ]; then
|
||||||
error "We need either 'curl' or 'wget' present in PATH to download external dependencies."
|
error "We need either 'curl' or 'wget' present in PATH to download external dependencies."
|
||||||
fi
|
fi
|
||||||
|
|
||||||
if [ `which curl` != "" ] ; then
|
if [ $CURL != "" ] ; then
|
||||||
curl -o $DEST $URL || exit 1
|
curl -o $DEST $URL || exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
if [ `which wget` != "" ] ; then
|
if [ $WGET != "" ] ; then
|
||||||
wget -O $DEST $URL || exit 1
|
wget -O $DEST $URL || exit 1
|
||||||
fi
|
fi
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user