]> gitweb.michael.orlitzky.com - dead/htsn-import.git/commitdiff
Add more files to 'make clean'.
authorMichael Orlitzky <michael@orlitzky.com>
Mon, 13 Jan 2014 20:39:47 +0000 (15:39 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Mon, 13 Jan 2014 20:39:47 +0000 (15:39 -0500)
makefile

index 7acee98ad4c7db71e0c7346c7b5ae5e21086dcab..1a585c0d9b6cf308ca68432d02c434b872b86a14 100644 (file)
--- 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
 
 
 #