diff --git a/ml-proto/Makefile b/ml-proto/Makefile index 6cfebf08a7..6be1b1734e 100644 --- a/ml-proto/Makefile +++ b/ml-proto/Makefile @@ -19,13 +19,13 @@ all: $(NAME) unopt $(NAME): main.native mv $< $@ -unopt: main.byte +unopt: main.d.byte mv $< $@ main.native: $(MAKEFILE) $(OCB) $@ -main.byte: $(MAKEFILE) +main.d.byte: $(MAKEFILE) $(OCB) $@ clean: