X-Git-Url: https://jxself.org/git/?a=blobdiff_plain;f=tests%2FMakefile;h=130e44cfe8cfcdd998f74392b259cdfeb9bde011;hb=7eaefce61d74fbc73daabd3f42f048038366b5ad;hp=be71aa232e124dca580c220964084443c03f44b3;hpb=3c8482a6136167677bd46d647e90d649035ebe97;p=open-adventure.git

diff --git a/tests/Makefile b/tests/Makefile
index be71aa2..130e44c 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -4,6 +4,7 @@
 # scripts from parent directory.  Note that using $PWD seems to fail
 # here under Gitlab's CI environment.
 PATH := $(realpath ..):$(realpath .):${PATH}
+GCOV?=gcov
 
 # Defeat annoying behavior under Mac OS X - builtin echo doesn't do -n
 ECHO := /bin/echo
@@ -20,7 +21,7 @@ check: savecheck regress
 	@-advent -l /dev/null <pitfall.log >/dev/null
 
 coverage: check
-	lcov -t "advent" -o ../advent.info -c -d ..
+	lcov -t "advent" -o ../advent.info -c -d .. --gcov-tool=$(GCOV)
 	genhtml -o ../coverage/ ../advent.info
 
 .SUFFIXES: .chk