diff options
| author |   Josep Puigdemont <josep.puigdemont@enea.com> | 2016-05-13 10:26:02 +0200 |
|---|---|---|
| committer | Josep Puigdemont <josep.puigdemont@enea.com> | 2016-05-17 15:18:52 +0200 |
| commit | 7b80125be0c9f43dfcc7d35fbba3ff1408713d56 (patch) | |
| tree | e7c6e642eacb9194c41361d9805076b5b04e7e0e /jjb/armband/build.sh | |
| parent | 137ef7912881dc6ebb3cf93ed6f2d6d3cd8fadfa (diff) | |
download/deploy scripts: several updates
The download script will now use gsutils if they are available, or fall
back to curl as before.
In general, use curl -f, which will exit with an error code if the
server gave an error, instead of writing a file with the HTML error
page.
Change-Id: Ib24e7803ec38b20a8879cd1509a0cb7b512fee61
Signed-off-by: Josep Puigdemont <josep.puigdemont@enea.com>
Diffstat (limited to 'jjb/armband/build.sh')
0 files changed, 0 insertions, 0 deletions