diff -r d0f02310aa47 -r b34ff44e6433 configure
--- a/configure	Sun Dec 31 15:02:11 2023 +0100
+++ b/configure	Mon Jan 01 15:33:20 2024 +0100
@@ -262,8 +262,8 @@
     # dependency coverage
     while true
     do
-        TEMP_CFLAGS="$TEMP_CFLAGS --coverage"
-        TEMP_LDFLAGS="$TEMP_LDFLAGS --coverage"
+        TEMP_CFLAGS="$TEMP_CFLAGS \${COVERAGE_CFLAGS}"
+        TEMP_LDFLAGS="$TEMP_LDFLAGS \${COVERAGE_LDFLAGS}"
         echo yes
         return 1
     done