]> gitweb.michael.orlitzky.com - dead/htsn.git/commitdiff
Remove more better in `make clean`.
authorMichael Orlitzky <michael@orlitzky.com>
Sun, 22 Dec 2013 02:16:48 +0000 (21:16 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Sun, 22 Dec 2013 02:16:48 +0000 (21:16 -0500)
makefile

index f94050d902109f9a5f8274ab370b2bddca4dbe8d..32385676c55b7756228f11e614755bd45bb7decb 100644 (file)
--- a/makefile
+++ b/makefile
@@ -22,7 +22,8 @@ doc: src/*.hs
 
 clean:
        runghc Setup.hs clean
-       rm *.log
+       rm -f *.log
+       rm -rf tmp
 
 $(TESTSUITE_BIN): src/*.hs test/TestSuite.hs
        runghc Setup.hs configure --user --enable-tests