diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2011-09-09 13:34:04 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2011-09-09 13:34:04 (GMT) |
| commit | 4b0155c24fb8c27aa19bbb9ab136d256e9efc2b3 (patch) | |
| tree | 7700038360951d11229164a90b76763954241a1e /configure | |
| parent | b0ff20b25564b3557cc2f378e689359766f243b0 (diff) | |
scripts/functions: only use one download program
Currently, we use either wget or curl, whichever is installed.
In case both are installed, both are used. This means that it
takes a while trying all extensions.
Remove use of wget, and use only curl.
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -496,7 +496,7 @@ has_or_abort prog=libtoolize ver='\(GNU libtool.*\) (2[[:digit:]]*\.|1\.6[[:digit:]]*\.|1\.5\.[2-9][[:digit:]]+)' \ err="'libtoolize' 1.5.26 or above was not found" has_or_abort prog=stat -has_or_abort prog="curl wget" +has_or_abort prog="curl" has_or_abort prog=patch has_or_abort prog=tar has_or_abort prog=gzip |