diff --git a/src/Makefile b/src/Makefile
index 56729750..18c178b3 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -180,6 +180,7 @@ ci:
 	$(MAKE) -e -j -C ../tests all
 	$(MAKE) -e merge-gcda-from-tests
 	$(MAKE) -e gcov
+	rm *.mock.gcov *.tab.*.gcov
 
 
 yydebug: CFLAGS += -DYYDEBUG