diff options
author | Jonas Fonseca <jonas.fonseca@gmail.com> | 2018-05-18 17:23:03 -0400 |
---|---|---|
committer | Jonas Fonseca <jonas.fonseca@gmail.com> | 2018-05-18 17:23:03 -0400 |
commit | 0e8e05ce423a52a25248d9a17dfa5cda396fd2f0 (patch) | |
tree | c914658f10123b15bb6487272333931253848cfe | |
parent | 408a805fb95dbe88cfe17940ab760f2c2fbe2d7d (diff) |
Fail the Travis build if a test fails
-rwxr-xr-x | tools/travis.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/travis.sh b/tools/travis.sh index 7e6a9720..7c9df1c1 100755 --- a/tools/travis.sh +++ b/tools/travis.sh @@ -1,5 +1,8 @@ #!/bin/bash +set -euo pipefail +IFS=$'\n\t' + build_config () { cp contrib/config.make . make all-debug |