diff options
| author | Alex Crichton <alex@alexcrichton.com> | 2017-07-17 10:55:27 -0700 |
|---|---|---|
| committer | Alex Crichton <alex@alexcrichton.com> | 2017-07-17 20:11:24 -0700 |
| commit | c843661d9a30ca23a6f7f36ad2121c9b03b95d60 (patch) | |
| tree | 3e45a3e042643eb0186ffc12d7feb7be21f29e00 /src/ci/docker/scripts/make3.sh | |
| parent | 5803f99bd4c53c3f469df26513ffa2e058094c53 (diff) | |
| download | rust-c843661d9a30ca23a6f7f36ad2121c9b03b95d60.tar.gz rust-c843661d9a30ca23a6f7f36ad2121c9b03b95d60.zip | |
travis: Make a few `curl` invocations more resilient
Use the `-f` flag to indicate that, for example, a 500 response code is to be considered a failure, triggering the normal retry logic. Also ignore errors where we check the date from google.com, as a failure there shouldn't fail the build.
Diffstat (limited to 'src/ci/docker/scripts/make3.sh')
| -rw-r--r-- | src/ci/docker/scripts/make3.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ci/docker/scripts/make3.sh b/src/ci/docker/scripts/make3.sh index 8a7845cb8f3..a0b15cca1f1 100644 --- a/src/ci/docker/scripts/make3.sh +++ b/src/ci/docker/scripts/make3.sh @@ -10,7 +10,7 @@ set -ex -curl https://ftp.gnu.org/gnu/make/make-3.81.tar.gz | tar xzf - +curl -s https://ftp.gnu.org/gnu/make/make-3.81.tar.gz | tar xzf - cd make-3.81 ./configure --prefix=/usr make |