From e677f1f1c71231ba1befb9da6ed02b6db38dedc3 Mon Sep 17 00:00:00 2001 From: Vollstrecker Date: Wed, 25 Dec 2024 18:52:44 +0100 Subject: Disable make cover if no gcov was found. --- Makefile.in | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'Makefile.in') diff --git a/Makefile.in b/Makefile.in index e6edd0d..5da4ace 100644 --- a/Makefile.in +++ b/Makefile.in @@ -121,9 +121,13 @@ infcover: infcover.o libz.a $(CC) $(CFLAGS) -coverage -o $@ infcover.o libz.a cover: infcover +ifdef $(GCOV) rm -f *.gcda ${QEMU_RUN} ./infcover ${GCOV} ${LLVM_GCOV_FLAG} inf*.c -o ./infcover.gcda +else + @echo 'cover disabled as no suitable gcov was found' +endif libz.a: $(OBJS) $(AR) $(ARFLAGS) $@ $(OBJS) -- cgit v1.2.3-55-g6feb