diff options
| author | Jack Lloyd <[email protected]> | 2020-11-21 06:57:53 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2020-11-21 08:40:10 -0500 |
| commit | 051fe3bc92c9ca7e856136408f605e7fa3e2a5c8 (patch) | |
| tree | eced370f5a40291b31ebeab18ef6acf4310afe5c /src/scripts/ci/setup_travis.sh | |
| parent | 4cef74f10c79870d62d01fcb915c9d666bd64126 (diff) | |
Move Coverage build to GH Actions
Diffstat (limited to 'src/scripts/ci/setup_travis.sh')
| -rwxr-xr-x | src/scripts/ci/setup_travis.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/ci/setup_travis.sh b/src/scripts/ci/setup_travis.sh index a9138fa88..bd43cfc9e 100755 --- a/src/scripts/ci/setup_travis.sh +++ b/src/scripts/ci/setup_travis.sh @@ -7,7 +7,7 @@ command -v shellcheck > /dev/null && shellcheck "$0" # Run shellcheck on this if available -set -ev +set -ex if [ "$TRAVIS_OS_NAME" = "linux" ]; then |