From ca603c818a86eef461346653b75e396bbafd9ec8 Mon Sep 17 00:00:00 2001
From: malc <moosotc@gmail.com>
Date: Thu, 12 Apr 2018 14:13:43 +0300
Subject: [PATCH] Use incs consitently

---
 build.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build.sh b/build.sh
index f75dd02..61f3bcc 100755
--- a/build.sh
+++ b/build.sh
@@ -57,7 +57,7 @@ oflags() {
             f="-g -strict-sequence -strict-formats -warn-error a";;
         *) f="-g";;
     esac
-    echo "-I lablGL -I $outd/lablGL -I $wsi -I $outd/$wsi -I $outd $f"
+    echo "$incs $f"
 }
 
 cflags() {
@@ -102,7 +102,7 @@ bocaml() (
         test "$o" = "$wocmi" && s=$srcd/${o%.cmo}.ml || s=$srcd/$wocmi.mli
         o=$outd/$o
     }
-    incs="-I lablGL -I $outd/lablGL -I $wsi -I $outd/$wsi -I $outd"
+    incs="-I $srcd/lablGL -I $outd/lablGL -I $srcd/$wsi -I $outd/$wsi -I $srcd -I $outd"
     bocaml1 "$s" "$o"
 )
 
-- 
2.11.4.GIT