make/project.xml

changeset 788
b34ff44e6433
parent 772
4586a84c0c0b
child 797
e0300c2c4e95
     1.1 --- a/make/project.xml	Sun Dec 31 15:02:11 2023 +0100
     1.2 +++ b/make/project.xml	Mon Jan 01 15:33:20 2024 +0100
     1.3 @@ -70,8 +70,8 @@
     1.4  	</dependency>
     1.5  
     1.6  	<dependency name="coverage">
     1.7 -		<cflags>--coverage</cflags>
     1.8 -		<ldflags>--coverage</ldflags>
     1.9 +		<cflags>\${COVERAGE_CFLAGS}</cflags>
    1.10 +		<ldflags>\${COVERAGE_LDFLAGS}</ldflags>
    1.11  	</dependency>
    1.12  	
    1.13  	<target>

mercurial