diff options
Diffstat (limited to '.ci')
| -rwxr-xr-x | .ci/script.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.ci/script.sh b/.ci/script.sh index 658dc5eb..07ff56ed 100755 --- a/.ci/script.sh +++ b/.ci/script.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash -set -eux +set -ex if [ "$TRAVIS_OS_NAME" = "linux" ]; then export CC=${C_COMPILER} |