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

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