From 82157c01482605c11449f96b9d72e88ebe04c549 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Mon, 13 Jan 2014 15:39:47 -0500 Subject: [PATCH] Add more files to 'make clean'. --- makefile | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/makefile b/makefile index 7acee98..1a585c0 100644 --- a/makefile +++ b/makefile @@ -9,7 +9,9 @@ $(BIN): $(PN).cabal $(SRCS) runghc Setup.hs build profile: $(PN).cabal $(SRCS) - runghc Setup.hs configure --user --enable-executable-profiling --prefix=/ + runghc Setup.hs configure --user \ + --enable-executable-profiling \ + --prefix=/ runghc Setup.hs build doc: $(PN).cabal $(SRCS) @@ -50,8 +52,11 @@ clean: runghc Setup.hs clean rm -f *.log rm -f *.xml + rm *.prof rm -rf tmp rm -f schemagen/*.dtd + find ./ -name '*.o' -delete + find ./ -name '*.hi' -delete # -- 2.43.2