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