diff options
| author | Ben Sima <ben@bsima.me> | 2019-02-04 11:36:21 -0800 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2019-02-04 11:36:21 -0800 |
| commit | 5ffe87e1aba18432ef5013f63c06798c83983f30 (patch) | |
| tree | 8ee694a2953e36fc9b5b2d6616d90056ef18a479 | |
| parent | 26a029dffb3d6f7325955851a3cf58c4c80e800f (diff) | |
Remove unnecessary Makefile
| -rw-r--r-- | ibb/Makefile | 12 |
1 files changed, 0 insertions, 12 deletions
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 |