From 5ffe87e1aba18432ef5013f63c06798c83983f30 Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Mon, 4 Feb 2019 11:36:21 -0800 Subject: Remove unnecessary Makefile --- ibb/Makefile | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 ibb/Makefile diff --git a/ibb/Makefile b/ibb/Makefile deleted file mode 100644 index f51c298..0000000 --- a/ibb/Makefile +++ /dev/null @@ -1,12 +0,0 @@ -ibb.exe: Main.hs - ghc -O -i. -o $@ $< - -tags: TAGS - -TAGS: FORCE - hasktags -b -c . - -clean: FORCE - rm -f *.o *.exe *.hi - -.PHONY: FORCE -- cgit v1.2.3