diff options
Diffstat (limited to 'remote')
| -rw-r--r-- | remote/includes/downloader.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/remote/includes/downloader.inc b/remote/includes/downloader.inc index 4ca71433..7ec8d872 100644 --- a/remote/includes/downloader.inc +++ b/remote/includes/downloader.inc @@ -9,7 +9,7 @@ download () { [ -z "$1" ] && perror "download: URL empty." local URL="$1" # If a sourceforge mirror is set in ./config, try to use it - if [[ -n "$sourceforge_mirror" -a "$URL" != *use_mirror* ]] && [[ "$URL" == *sourceforge.net* -o "$URL" == *.sf.net* ]]; then + if [ -n "$sourceforge_mirror" ] && [[ "$URL" != *use_mirror* ]] && [[ "$URL" == *sourceforge.net* || "$URL" == *.sf.net* ]]; then if [[ "$URL" == *\?* ]]; then URL+="&use_mirror=$sourceforge_mirror" else |