diff --git a/.dev_scripts/diff_coverage_test.sh b/.dev_scripts/diff_coverage_test.sh index 0e071381..d025559d 100755 --- a/.dev_scripts/diff_coverage_test.sh +++ b/.dev_scripts/diff_coverage_test.sh @@ -1,5 +1,7 @@ #!/bin/bash +set -e + readarray -t IGNORED_FILES < $( dirname "$0" )/covignore.cfg REUSE_COVERAGE_REPORT=${REUSE_COVERAGE_REPORT:-0}