]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Clean coverage objects
authorJérémie Astor <fennecdjay@gmail.com>
Sun, 22 Nov 2020 21:33:30 +0000 (22:33 +0100)
committerJérémie Astor <fennecdjay@gmail.com>
Sun, 22 Nov 2020 21:33:30 +0000 (22:33 +0100)
Makefile

index bf82589d295033898a1b7bf75f3583c42c1ab960..d0b87811949363415da62427cf6a463a0798be59 100644 (file)
--- 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})