configure

changeset 788
b34ff44e6433
parent 772
4586a84c0c0b
child 796
fec90b848f4b
     1.1 --- a/configure	Sun Dec 31 15:02:11 2023 +0100
     1.2 +++ b/configure	Mon Jan 01 15:33:20 2024 +0100
     1.3 @@ -262,8 +262,8 @@
     1.4      # dependency coverage
     1.5      while true
     1.6      do
     1.7 -        TEMP_CFLAGS="$TEMP_CFLAGS --coverage"
     1.8 -        TEMP_LDFLAGS="$TEMP_LDFLAGS --coverage"
     1.9 +        TEMP_CFLAGS="$TEMP_CFLAGS \${COVERAGE_CFLAGS}"
    1.10 +        TEMP_LDFLAGS="$TEMP_LDFLAGS \${COVERAGE_LDFLAGS}"
    1.11          echo yes
    1.12          return 1
    1.13      done

mercurial