scripts/toolchain-config.in
| author |
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
|
Fri Sep 09 15:34:04 2011 +0200 (2011-09-09) |
| changeset 2660 |
2a44af825e60 |
| parent 1189 |
5c20d52c8270
|
| permissions |
-rw-r--r-- |
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>