diff options
author | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2015-07-10 03:19:00 -0400 |
---|---|---|
committer | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2015-09-15 23:01:27 -0400 |
commit | 59dbe69d20884a8ab0a44a64772807d5f967c000 (patch) | |
tree | 1b5236cd7c0bc979a1a55611ef91541c9e0f6a94 | |
parent | 9b40357f70a6cd4c2759e57f0e7e7731bafc0ce2 (diff) | |
download | roux-59dbe69d20884a8ab0a44a64772807d5f967c000.tar.gz |
simplify proto Makefile
-rw-r--r-- | proto/Makefile | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/proto/Makefile b/proto/Makefile index c6ebd16..f137b4a 100644 --- a/proto/Makefile +++ b/proto/Makefile @@ -1,6 +1,4 @@ -.PHONY: all test clean - -all: bak +.PHONY: test clean bak: elf.ml lo2.ml ocamlc -g -o bak elf.ml lo2.ml |