From 0d33c5af2d4319809b9a750bdb7a762a6065b58a Mon Sep 17 00:00:00 2001
From: Mazet Laurent <laurent.mazet@thalesgroup.com>
Date: Thu, 15 May 2025 13:47:20 +0200
Subject: [PATCH] correct gcov rule

---
 makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/makefile b/makefile
index 94ac452..04e0dba 100644
--- a/makefile
+++ b/makefile
@@ -126,7 +126,7 @@ gcov_%:
 	$(MAKE) depends
 	OPTIONS="-coverage -O0" $(MAKE) ${@:gcov_%=%}.exe
 	$(MAKE) test_$(@:gcov_%=%)
-	gcov `sed -e 's/\.exe:/.c/;s/\.o/.c/g' $(@:gcov_%=%.ld)`
+	gcov `sed -e 's/\.exe:/.c/;s/\.o/.c/g;s/ -l[^ ]*//g' $(@:gcov_%=%.ld)`
 	$(MAKE) purge
 	grep '^ *#####' *.c.gcov || true
 
-- 
2.30.2