diff options
author | Jed Barber <jjbarber@y7mail.com> | 2014-02-11 11:52:02 +1100 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2014-02-11 11:52:02 +1100 |
commit | 52a0e5e018d566de63f194ec879781f5311847a3 (patch) | |
tree | d18afd82c9cce9e7419f8643c913df2e995c65e8 | |
parent | 54658529a3c16d91ca9858538ed78635196591d4 (diff) |
Added distclean option
-rw-r--r-- | makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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 |