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