From e05767c55e01b1acd2010f390386c3a8e74da1a3 Mon Sep 17 00:00:00 2001
From: malc <moosotc@gmail.com>
Date: Mon, 9 Apr 2018 01:47:40 +0300
Subject: [PATCH] Every line is sacred

---
 build.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/build.sh b/build.sh
index 3881e17..45e5bb6 100755
--- a/build.sh
+++ b/build.sh
@@ -62,8 +62,7 @@ bocaml() (
         s=$outd/help.ml
         o=$outd/help.cmo
     } || {
-        test "$o" = "$wocmi" && s=${o%.cmo}.ml || s=$wocmi.mli
-        s=$srcd/$s
+        test "$o" = "$wocmi" && s=$srcd/${o%.cmo}.ml || s=$srcd/$wocmi.mli
         o=$outd/$o
     }
     incs="-I lablGL -I $outd/lablGL -I wsi/x11 -I $outd/wsi/x11 -I $outd"
-- 
2.11.4.GIT