diff -r f3b04cd60776 -r 6eb7b54975ee make/gcc.mk --- 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