summary refs log tree commit diff
diff options
context:
space:
mode:
-rwxr-xr-x.ci/script.sh2
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}