summaryrefslogtreecommitdiff
path: root/scripts/coverage
diff options
context:
space:
mode:
authorKimplul <kimi.h.kuparinen@gmail.com>2025-10-12 21:44:47 +0300
committerKimplul <kimi.h.kuparinen@gmail.com>2025-10-12 21:44:47 +0300
commit1dc91bd8b96563c816e701dfdebcf33040555a6b (patch)
tree400e4014fea585a7de9e58fe5ec675ec390a668d /scripts/coverage
parent16fb0b537585f859906d96fd329b931dfe1ad7ee (diff)
downloadconts-1dc91bd8b96563c816e701dfdebcf33040555a6b.tar.gz
conts-1dc91bd8b96563c816e701dfdebcf33040555a6b.zip
report errors on failure
Diffstat (limited to 'scripts/coverage')
-rwxr-xr-xscripts/coverage4
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