make/gcc.mk

changeset 1065
6eb7b54975ee
parent 988
15b3ca7ee33f
--- a/make/gcc.mk	Sun Dec 29 15:24:20 2024 +0100
+++ b/make/gcc.mk	Sun Dec 29 16:56:13 2024 +0100
@@ -11,5 +11,5 @@
 SHLIB_CFLAGS = -fPIC
 SHLIB_LDFLAGS = -shared
 
-COVERAGE_CFLAGS = --coverage
+COVERAGE_CFLAGS = --coverage -DNDEBUG
 COVERAGE_LDFLAGS =  --coverage

mercurial