diff options
| author | Ben Sima <ben@bsima.me> | 2019-01-21 16:09:56 -0800 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2019-01-21 16:09:56 -0800 |
| commit | 98d33b9a533bd1d84ad44746c22cbd3db68fc492 (patch) | |
| tree | 3677b6dd9616560ed89b1e363a5b306300088fa3 /Makefile | |
| parent | 9f60de28de44ea01da25b4cf1305fb63962effd0 (diff) | |
add ibb
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index a815cc7..0000000 --- a/Makefile +++ /dev/null @@ -1,12 +0,0 @@ -biz.exe: Main.hs - ghc -O -i. -o $@ $< - -tags: TAGS - -TAGS: FORCE - hasktags -b -c . - -clean: FORCE - rm -f *.o *.exe *.hi - -.PHONY: FORCE |