diff --git a/coverage.sh b/coverage.sh index e21e0fc92fb..13a1a0a6095 100755 --- a/coverage.sh +++ b/coverage.sh @@ -2,7 +2,6 @@ # # Runs all program tests and builds a code coverage report # - set -e cd "$(dirname "$0")"