summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJed Barber <jjbarber@y7mail.com>2014-02-11 11:52:02 +1100
committerJed Barber <jjbarber@y7mail.com>2014-02-11 11:52:02 +1100
commit52a0e5e018d566de63f194ec879781f5311847a3 (patch)
treed18afd82c9cce9e7419f8643c913df2e995c65e8
parent54658529a3c16d91ca9858538ed78635196591d4 (diff)
Added distclean option
-rw-r--r--makefile4
1 files changed, 4 insertions, 0 deletions
diff --git a/makefile b/makefile
index 4a9f2a8..d5a3939 100644
--- a/makefile
+++ b/makefile
@@ -1,6 +1,7 @@
OUTPUTDIR = ./bin
+EXECUTABLES = ${OUTPUTDIR}/test
all: test
@@ -9,6 +10,9 @@ clean:
find . -name '*.hi' -delete
find . -name '*.o' -delete
+distclean:
+ rm ${EXECUTABLES}
+
test:
ghc --make ./test.hs -o ${OUTPUTDIR}/test