Merge pull request #621 from RalfJung/bash

make bash more strict
2019-02-08 13:58:40 +01:00 · 2019-02-08 13:58:40 +01:00 · c4c12ade33
commit c4c12ade33
parent 75444e16fa b7e6212df2
1 changed files with 1 additions and 1 deletions
--- a/travis.sh
+++ b/travis.sh
@ -1,5 +1,5 @@
 #!/bin/bash
-set -e
+set -euo pipefail

 # Determine configuration
 if [ "$TRAVIS_OS_NAME" == osx ]; then