From 3922ca2e8a31bc303f3988be198cfb2d9070069f Mon Sep 17 00:00:00 2001
From: malc <moosotc@gmail.com>
Date: Wed, 23 May 2018 17:27:47 +0300
Subject: [PATCH] Whoops

---
 build.bash | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.bash b/build.bash
index eb59828..830d735 100755
--- a/build.bash
+++ b/build.bash
@@ -83,7 +83,7 @@ cflags() {
     echo $f
 }
 
-mflags() { echo "-I $(ocamlc -where) -g -Wall -Werror "; }
+mflags() { echo "-I $(ocamlc -where) -g -Wall -Werror -O2"; }
 
 incs="-I $srcd/lablGL -I $srcd/$wsi -I $srcd"
 incs="$incs -I $outd/lablGL -I $outd/$wsi -I $outd"
-- 
2.11.4.GIT