From f23cd2882dfcc9329f5dd4af57004f15f674876b Mon Sep 17 00:00:00 2001
From: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Sun, 5 Apr 2015 15:52:46 -0400
Subject: compile tmain with optimizations

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 882df13..22c73f5 100644
--- a/Makefile
+++ b/Makefile
@@ -7,7 +7,7 @@ bak: elf.ml lo2.ml
 
 test: bak
 	@./bak test
-	@cc -o t tmain.c t.o && ./t
+	@cc -O2 -o t tmain.c t.o && ./t
 
 clean:
 	rm -f bak t t.o
-- 
cgit 1.4.1