From 52a0e5e018d566de63f194ec879781f5311847a3 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Tue, 11 Feb 2014 11:52:02 +1100 Subject: Added distclean option --- makefile | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'makefile') 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 -- cgit