Issue #3628: pipefail was removed to allow avoid failues by '| cat'

2016-12-09 16:50:56 -08:00 · 2016-12-09 16:50:56 -08:00 · cd91999dec
parent 9d9053066e
commit cd91999dec
1 changed files with 1 additions and 1 deletions
--- a/.ci/travis/travis.sh
+++ b/.ci/travis/travis.sh
@ -1,6 +1,6 @@
 #!/bin/bash

-set -euo pipefail
+set -e

 case "$GOAL" in