diff --git a/test/gen_coverage_reports.sh b/test/gen_coverage_reports.sh index b15248ab..523d09d1 100755 --- a/test/gen_coverage_reports.sh +++ b/test/gen_coverage_reports.sh @@ -1,6 +1,6 @@ #!/bin/bash -set -eux +set -ex if [ -n "$CIRCLECI" ]; then for i in $(seq 1 $(($CIRCLE_NODE_TOTAL - 1))); do