From 1a2f3bdb7a1ae460e02112ce97f6b41804a0d504 Mon Sep 17 00:00:00 2001
From: Steffen Jaeckel <s@jaeckel.eu>
Date: Fri, 25 Aug 2017 13:00:50 +0200
Subject: [PATCH] update clean make-target

---
 makefile_include.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/makefile_include.mk b/makefile_include.mk
index 4db2fdf..9890348 100644
--- a/makefile_include.mk
+++ b/makefile_include.mk
@@ -99,7 +99,7 @@ cleancov-clean:
 cleancov: cleancov-clean clean
 
 clean:
-	rm -f *.gcda *.gcno *.bat *.o *.a *.obj *.lib *.exe *.dll etclib/*.o demo/demo.o test ltmtest mpitest mtest/mtest mtest/mtest.exe \
+	rm -f *.gcda *.gcno *.gcov *.bat *.o *.a *.obj *.lib *.exe *.dll etclib/*.o demo/demo.o test ltmtest mpitest mtest/mtest mtest/mtest.exe \
         *.idx *.toc *.log *.aux *.dvi *.lof *.ind *.ilg *.ps *.log *.s mpi.c *.da *.dyn *.dpi tommath.tex `find . -type f | grep [~] | xargs` *.lo *.la
 	rm -rf .libs/
 	${MAKE} -C etc/ clean MAKE=${MAKE}