From: Jérémie Astor Date: Sun, 22 Nov 2020 21:33:30 +0000 (+0100) Subject: :wrench: Clean coverage objects X-Git-Tag: nightly~1140^2~16 X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=48c8c874f2a7cfa661bca20ebaa4305efb16ba8b;p=gwion.git :wrench: Clean coverage objects --- diff --git a/Makefile b/Makefile index bf82589d..d0b87811 100644 --- a/Makefile +++ b/Makefile @@ -29,6 +29,8 @@ LDFLAGS += -ldl -lpthread endif src_obj := $(src:.c=.o) +gcda := $(src:.c=.gcda) +gcno := $(src:.c=.gcno) lib_obj := $(filter-out src/main.o, ${src_obj}) CFLAGS += -Iinclude @@ -88,7 +90,7 @@ clean_core: clean: clean_core $(info cleaning ...) - @rm -f src/*.o src/*/*.o gwion lib${PRG}.a src/*.gcno src/*.gcda + @rm -f src/*.o src/*/*.o gwion lib${PRG}.a ${gcno} ${gcda} install: ${PRG} translation-install $(info installing ${GWION_PACKAGE} in ${PREFIX})