diff -r d0f02310aa47 -r b34ff44e6433 make/project.xml
--- a/make/project.xml	Sun Dec 31 15:02:11 2023 +0100
+++ b/make/project.xml	Mon Jan 01 15:33:20 2024 +0100
@@ -70,8 +70,8 @@
 	</dependency>
 
 	<dependency name="coverage">
-		<cflags>--coverage</cflags>
-		<ldflags>--coverage</ldflags>
+		<cflags>\${COVERAGE_CFLAGS}</cflags>
+		<ldflags>\${COVERAGE_LDFLAGS}</ldflags>
 	</dependency>
 	
 	<target>