make/project.xml

changeset 990
f708863e7ec6
parent 988
15b3ca7ee33f
--- a/make/project.xml	Sat Nov 23 14:45:32 2024 +0100
+++ b/make/project.xml	Sat Nov 23 15:15:09 2024 +0100
@@ -85,6 +85,10 @@
         <ldflags>\${COVERAGE_LDFLAGS}</ldflags>
     </dependency>
 
+    <dependency name="no_coverage">
+        <test>test -z "$FEATURE_COVERAGE"</test>
+    </dependency>
+
     <target>
         <option arg="with-docs">
             <value str="all">
@@ -127,6 +131,7 @@
             </make>
         </feature>
         <feature name="szmul-builtin" default="true">
+            <dependencies>no_coverage</dependencies>
             <desc>use custom implementation, instead</desc>
             <disabled>
                 <define name="CX_NO_SZMUL_BUILTIN"/>

mercurial