From 55cfeafacf6d7b97cb361cd39e06a61c3041c740 Mon Sep 17 00:00:00 2001 From: Laurent Mazet Date: Fri, 30 Dec 2022 18:13:55 +0100 Subject: [PATCH] new rule: wipe --- makefile | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/makefile b/makefile index 0f6cb9b..0901675 100644 --- 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 -- 2.30.2