Make sure that make clean removes coverage info

I spent 20 minutes trying to understand why lcov/gcov were complaining
about wrong coverage format/version, before I saw I had a 2 year old
file that was not overwritten nor removed…
This commit is contained in:
Iustin Pop
2023-04-18 21:34:04 +02:00
parent 3c537a17e2
commit e96400b602

View File

@@ -101,7 +101,7 @@ release-tag:
git tag -s -m 'Release version $(VERSION).' mt-st-$(VERSION)
clean:
rm -f *~ \#*\# *.o $(PROGS) version.h
rm -f *~ \#*\# *.o *.gcno *.gcda coverage.info $(PROGS) version.h
rm -rf out
reindent: