1.1 --- a/make/project.xml Wed Dec 27 16:07:45 2023 +0100
1.2 +++ b/make/project.xml Wed Dec 27 16:16:11 2023 +0100
1.3 @@ -68,6 +68,11 @@
1.4 <dependency name="pandoc">
1.5 <test>test -n "$PANDOC"</test>
1.6 </dependency>
1.7 +
1.8 + <dependency name="coverage">
1.9 + <cflags>--coverage</cflags>
1.10 + <ldflags>--coverage</ldflags>
1.11 + </dependency>
1.12
1.13 <target>
1.14 <option arg="with-docs">
1.15 @@ -99,6 +104,9 @@
1.16 <default value="api"/>
1.17 <default value="none"/>
1.18 </option>
1.19 + <feature name="coverage">
1.20 + <dependencies>coverage</dependencies>
1.21 + </feature>
1.22 <dependencies>c,file-tools</dependencies>
1.23 </target>
1.24 </project>
