From 405509a7db6a2c7da227a9a75f222e7d9b32f6b0 Mon Sep 17 00:00:00 2001 From: peter Date: Sat, 26 Sep 2026 13:50:33 +0000 Subject: Tweaks to get the coverage tests working again FossilOrigin-Name: a94e0d49303980abc5c03494582c13cdbd0de058ce576b9a6532279e39b1fee4 --- tools/check | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'tools') 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 -- cgit v1.2.3