diff options
Diffstat (limited to 'scripts/coverage')
| -rwxr-xr-x | scripts/coverage | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/coverage b/scripts/coverage index 1c4a279..6afc069 100755 --- a/scripts/coverage +++ b/scripts/coverage @@ -1,4 +1,5 @@ #!/bin/sh +set -eu # build covsrv binary make -C deps/covsrv @@ -13,7 +14,7 @@ cleanup() { # kill server program even if user interrupted us or something else exceptional # happened -trap interrupt INT HUP TERM +trap interrupt INT HUP TERM QUIT EXIT interrupt () { cleanup exit 1 @@ -30,5 +31,4 @@ mkdir -p coverage lcov --capture --directory . --out coverage/covsrv.info genhtml coverage/covsrv.info --out coverage -cleanup exit 0 |