From e699e1d46377d0b034d1b30bdaf12133419dd064 Mon Sep 17 00:00:00 2001
From: Laurent Mazet <laurent.mazet@thalesgroup.com>
Date: Thu, 9 Feb 2023 10:37:35 +0100
Subject: [PATCH] update gcov rule

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

diff --git a/makefile b/makefile
index 25ebdc0..48382b2 100644
--- a/makefile
+++ b/makefile
@@ -83,12 +83,13 @@ include $(wildcard *.ld)
 
 gcov_%:
 	$(MAKE) purge
-	GCOV="-fprofile-arcs -ftest-coverage -O0" $(MAKE)
+	GCOV="-coverage -O0" $(MAKE)
 	$(MAKE) test_$(@:gcov_%=%)
 	gcov `sed -e 's/\.exe:/.c/;s/\.o/.c/g' $(@:gcov_%=%.ld)`
 	touch gcov
 	rm -f gcov $(wildcard *.gcda *.gcno)
 	$(MAKE) purge
+	grep '#####' *.c.gcov || true
 
 %.test: %.c
 	$(call TITLE, "Building $@")
-- 
2.30.2