make/project.xml

changeset 960
a8a5f3dd5c3d
parent 842
b48cbfa109d4
--- a/make/project.xml	Thu Oct 31 12:15:45 2024 +0100
+++ b/make/project.xml	Thu Oct 31 13:24:39 2024 +0100
@@ -73,7 +73,7 @@
         <test>test -n "$PANDOC"</test>
     </dependency>
 
-    <dependency name="coverage" toolchain="gnuc">
+    <dependency name="coverage" toolchain="gcc">
         <cflags>\${COVERAGE_CFLAGS}</cflags>
         <ldflags>\${COVERAGE_LDFLAGS}</ldflags>
     </dependency>

mercurial