samples/alphaev67-unknown-linux-gnu/reported.by
| author |
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
|
Fri Sep 09 15:34:04 2011 +0200 (2011-09-09) |
| changeset 2660 |
2a44af825e60 |
| 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>
|
yann@2439
|
1 |
reporter_name="Ioannis E. Venetis"
|
|
yann@2439
|
2 |
reporter_url="http://sourceware.org/ml/crossgcc/2011-05/msg00005.html"
|
|
yann@2439
|
3 |
reporter_comment=""
|