]> gitweb.michael.orlitzky.com - haeredes.git/commitdiff
Clean up object files in `make clean`.
authorMichael Orlitzky <michael@orlitzky.com>
Tue, 3 Sep 2013 16:05:45 +0000 (12:05 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Tue, 3 Sep 2013 16:05:45 +0000 (12:05 -0400)
makefile

index 08b02ce805f0bd232e8718fddeb2e9ccf455fdd4..35241bece52f5ac5e0dbe049d2a17c7108cbe3f6 100644 (file)
--- a/makefile
+++ b/makefile
@@ -19,6 +19,8 @@ $(DOCTESTS_BIN): src/*.hs test/Doctests.hs
 
 clean:
        runghc Setup.hs clean
+       rm -f src/*.hi
+       rm -f src/*.o
 
 test: $(BIN) $(TESTSUITE_BIN) $(DOCTESTS_BIN)
        runghc Setup.hs test