From cd91999dec43f23cf7bfab0077960c6abc22db1f Mon Sep 17 00:00:00 2001 From: Roman Ivanov Date: Fri, 9 Dec 2016 16:50:56 -0800 Subject: [PATCH] Issue #3628: pipefail was removed to allow avoid failues by '| cat' --- .ci/travis/travis.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.ci/travis/travis.sh b/.ci/travis/travis.sh index eecb9b970..c5ddebc4a 100755 --- a/.ci/travis/travis.sh +++ b/.ci/travis/travis.sh @@ -1,6 +1,6 @@ #!/bin/bash -set -euo pipefail +set -e case "$GOAL" in