From 23b1d9470580b6a785285ca0628bbe3237e20248 Mon Sep 17 00:00:00 2001 From: Nathan R Date: Fri, 6 Aug 2021 18:58:22 +0200 Subject: [PATCH] updated Makefile --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index e06c2a2..acece63 100644 --- a/Makefile +++ b/Makefile @@ -45,6 +45,7 @@ tidy : .FORCE cleansed : .FORCE rm -f debug.out + rm -f debug purified : .FORCE rm -rf tests-c/*.out