scripts/toolchain-config.in
author |
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
|
Tue Nov 16 17:49:15 2010 +0100 (2010-11-16) |
changeset 2204 |
ea1c9143e1e3 |
parent 1098 |
035f231898cc
|
child 2614 |
814ea73df7e0 |
permissions |
-rw-r--r-- |
scripts: call curl and wget in sequence
It can happen, in some circumpstances, than one can succeed where
the other would fail. Those cases involves convoluted enterprise
networks with proxies playing tricks.
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>