new rule: wipe

diff --git a/makefile b/makefile
index 0f6cb9b1b02be3b3ee03908b2c414822757badce..090167546568a9e47e12ff1688f0d3003d59d68c 100644 (file)
--- a/makefile
+++ b/makefile
@@ -60,7 +60,13 @@ gcovs:
 purge: clean
        $(call TITLE, "Purging")
        touch purge
-       rm -f purge $(ALLEXE:%=%.exe) $(shell [ -f .targets ] && { cat .targets | sort | uniq; echo .targets; })
+       rm -f purge $(ALLEXE:%=%.exe)
+       $(call PASS, SUCCESS)
+
+wipe: purge
+       $(call TITLE, "wiping")
+       touch wipe
+       rm -f wipe $(wildcard *.gcda *.gcno)
        $(call PASS, SUCCESS)
 
 tests: all