Travis: Set pipefail

diff --git a/.travis.yml b/.travis.yml
index 5d5bc330d611fa88410659996821237cfb237219..791ca97dfa7def36e2f0f2c18564799aaebc05a2 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -165,6 +165,8 @@ addons:
 osx_image: xcode11.2
 
 before_install:
+  ## Set pipefail: we use pipes
+  - set -o pipefail || echo "pipefail failed"
   ## Create empty rust directories for non-Rust builds, so caching succeeds
   - if [[ "$RUST_OPTIONS" == "" ]]; then mkdir -p $HOME/.cargo $TRAVIS_BUILD_DIR/src/rust/target; fi