diff options
Diffstat (limited to 'ci/common/submit_coverage.sh')
| -rwxr-xr-x | ci/common/submit_coverage.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/common/submit_coverage.sh b/ci/common/submit_coverage.sh index cb6ab62b5b..f781ca8e5e 100755 --- a/ci/common/submit_coverage.sh +++ b/ci/common/submit_coverage.sh @@ -4,7 +4,7 @@ # Args: # $1: Flag(s) for codecov, separated by comma. -set -ex +set -e # Change to grandparent dir (POSIXly). CDPATH='' cd -P -- "$(dirname -- "$0")/../.." || exit |