samples/alphaev56-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 |
| parent 981 |
6bc168156c2b
|
| 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@579
|
1 |
reporter_name="Ioannis E. VENETIS"
|
|
yann@1656
|
2 |
reporter_url="http://sourceware.org/ml/crossgcc/2009-11/msg00109.html"
|
|
yann@981
|
3 |
reporter_comment=""
|