config/debug/gdb.in.native
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 2098 |
9a8f0e3fe605
|
child 2717 |
13df2720b374 |
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>