From 93975bf86887d997f49705b8535c896bc9130467 Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Sun, 5 Jan 2014 21:54:10 +0100
Subject: Makefile update

---
 src/Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/Makefile b/src/Makefile
index e9cde1c..c7ff839 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -4,9 +4,8 @@ all: $(BIN)
 
 $(BIN): main.ml ast.ml parser.mly lexer.mll pretty.ml typing.ml pretty_typing.ml
 	ocamlbuild main.byte
-	mv main.byte minic++
+	mv main.byte $(BIN)
 
 clean:
 	rm -r _build
-	rm main.byte
 	rm $(BIN)
-- 
cgit v1.2.3