exchange

commit 9e8e7623aae5d14d1bd6a5739626964df3072f8e
parent 52d76836b482d399b33febc1eb49942cd423b3c8
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date:   Tue, 20 May 2025 15:56:33 +0200

ci: actually build with coverage

Diffstat:
M
contrib/ci/jobs/002-test/1-build.sh
 | 
1
+

1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/contrib/ci/jobs/002-test/1-build.sh b/contrib/ci/jobs/002-test/1-build.sh
@@ -7,6 +7,7 @@ apt-get upgrade -yqq
 ./bootstrap
 ./configure CFLAGS="-ggdb -O0" \
 	    --enable-logging=verbose \
+      --enable-coverage \
 	    --disable-doc
 
 nump=$(grep processor /proc/cpuinfo | wc -l)