From 3259064cec8b646ccfe5841020504151bf8ab582 Mon Sep 17 00:00:00 2001
From: malc <moosotc@gmail.com>
Date: Mon, 9 Apr 2018 09:40:00 +0300
Subject: [PATCH] Remove _i

---
 build.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/build.sh b/build.sh
index 8b98dd7..4e71961 100755
--- a/build.sh
+++ b/build.sh
@@ -34,13 +34,13 @@ isfresh() {
         }
 }
 
-_i="-I lablGL -I $outd/lablGL -I wsi/x11 -I $outd/wsi/x11 -I $outd"
 oflags() {
     case "${1#$outd/}" in
         main.cmo|utils.cmo|config.cmo|parser.cmo|wsi.cmi|wsi/x11/wsi.cmo)
-            echo "-g -strict-sequence -strict-formats -warn-error a $_i";;
-        *) echo "-g $_i";;
+            f="-g -strict-sequence -strict-formats -warn-error a";;
+        *) f="-g";;
     esac
+    echo "-I lablGL -I $outd/lablGL -I wsi/x11 -I $outd/wsi/x11 -I $outd $f"
 }
 
 cflags() {
-- 
2.11.4.GIT