diff options
author | 2010-11-16 16:49:15 (GMT) | |
---|---|---|
committer | 2010-11-16 16:49:15 (GMT) | |
commit | af6dd3f3f0a81a39ed9bb595f70127845de5e3f6 (patch) | |
tree | 96216d4c6be3061c9692bb8419d7fc7174a706ca /docs/6 - Toolchain types.txt | |
parent | 9dbbc8e5f6edf0e1386b4ba28d96918fa64fa2b5 (diff) |
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>
Diffstat (limited to 'docs/6 - Toolchain types.txt')
0 files changed, 0 insertions, 0 deletions