From 401406065b2329ffb591ff952d46b1a4d9207c52 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Mon, 13 Jan 2014 19:12:59 -0500 Subject: [PATCH] Minor makefile fix. --- makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makefile b/makefile index 1a585c0..df34c79 100644 --- a/makefile +++ b/makefile @@ -52,9 +52,9 @@ clean: runghc Setup.hs clean rm -f *.log rm -f *.xml - rm *.prof rm -rf tmp rm -f schemagen/*.dtd + find ./ -name '*.prof' -delete find ./ -name '*.o' -delete find ./ -name '*.hi' -delete -- 2.43.2