make bash more strict

This commit is contained in:
Ralf Jung 2019-02-08 12:13:07 +01:00
parent 77d12bb465
commit e747c65f8d

View file

@ -1,5 +1,5 @@
#!/bin/bash
set -e
set -euo pipefail
# Determine configuration
if [ "$TRAVIS_OS_NAME" == osx ]; then