configure

changeset 788
b34ff44e6433
parent 772
4586a84c0c0b
child 796
fec90b848f4b
--- 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

mercurial