make/project.xml

changeset 815
b0c4750cecd8
parent 797
e0300c2c4e95
child 825
3f324ea53152
     1.1 --- a/make/project.xml	Wed Jan 17 21:01:50 2024 +0100
     1.2 +++ b/make/project.xml	Sat Jan 20 16:02:04 2024 +0100
     1.3 @@ -69,7 +69,7 @@
     1.4          <test>test -n "$PANDOC"</test>
     1.5      </dependency>
     1.6  
     1.7 -    <dependency name="coverage">
     1.8 +    <dependency name="coverage" toolchain="gnuc">
     1.9          <cflags>\${COVERAGE_CFLAGS}</cflags>
    1.10          <ldflags>\${COVERAGE_LDFLAGS}</ldflags>
    1.11      </dependency>

mercurial