config/arch/alpha.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 2113 |
917c353f30dc
|
child 2788 |
b6faa28e76e0 |
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>