summary refs log tree commit diff
diff options
context:
space:
mode:
authorQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2015-07-10 03:19:00 -0400
committerQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2015-09-15 23:01:27 -0400
commit59dbe69d20884a8ab0a44a64772807d5f967c000 (patch)
tree1b5236cd7c0bc979a1a55611ef91541c9e0f6a94
parent9b40357f70a6cd4c2759e57f0e7e7731bafc0ce2 (diff)
downloadroux-59dbe69d20884a8ab0a44a64772807d5f967c000.tar.gz
simplify proto Makefile
-rw-r--r--proto/Makefile4
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