diff options
| author | peter <peter@pmikkelsen.com> | 2026-09-26 13:50:33 +0000 |
|---|---|---|
| committer | peter <peter@pmikkelsen.com> | 2026-09-26 13:50:33 +0000 |
| commit | 405509a7db6a2c7da227a9a75f222e7d9b32f6b0 (patch) | |
| tree | e71ef55aa3b7c81a50233b994bdfaa17e607f57c /tools | |
| parent | e1c85dc5667f1d0f0ba2106c802dc930aeead64e (diff) | |
Tweaks to get the coverage tests working again
FossilOrigin-Name: a94e0d49303980abc5c03494582c13cdbd0de058ce576b9a6532279e39b1fee4
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/check | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/tools/check b/tools/check index bfecb0d..a3ad0ab 100755 --- a/tools/check +++ b/tools/check @@ -15,21 +15,24 @@ do case $type in debug) CFLAGS="-O0 -g3 -fsanitize=address,undefined" + OTHER="" ;; coverage) CFLAGS="-O0 -g3 --coverage -fcondition-coverage" + OTHER="--disable-shared" ;; release) CFLAGS="-O3" + OTHER="" ;; *) echo "Unsupported type" exit 1 ;; esac - ../../configure --enable-maintainer-mode --enable-build-mode=$type CFLAGS="$CFLAGS -Wall -Wextra -Werror -std=c89 -pedantic" + ../../configure --enable-maintainer-mode --enable-build-mode=$type CFLAGS="$CFLAGS -Wall -Wextra -Werror -std=c89 -pedantic" $OTHER make check - ../../configure --enable-maintainer-mode --enable-build-mode=$type CFLAGS="$CFLAGS" + ../../configure --enable-maintainer-mode --enable-build-mode=$type CFLAGS="$CFLAGS" $OTHER cd .. done |