diff --git a/build/getsounds.sh.in b/build/getsounds.sh.in index 27332bf48c..a19f24eb14 100755 --- a/build/getsounds.sh.in +++ b/build/getsounds.sh.in @@ -7,10 +7,10 @@ CURL=@CURL@ DIR=`pwd` -if [ -f $WGET ] ; then +if [ -x "$WGET" ] ; then DOWNLOAD_CMD=$WGET else - if [ -f $CURL ] ; then + if [ -x "$CURL" ] ; then DOWNLOAD_CMD="$CURL -O" fi fi