From 612b78ad26bab2d80b158ef666e005615cdb30b0 Mon Sep 17 00:00:00 2001
From: malc <moosotc@gmail.com>
Date: Fri, 6 Apr 2018 23:29:56 +0300
Subject: [PATCH] mli...

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

diff --git a/build.sh b/build.sh
index 6d3ebdf..602db4f 100644
--- a/build.sh
+++ b/build.sh
@@ -112,9 +112,8 @@ test -n "$dirty" && { eval $cmd || die "mkhelp failed"; }
 eval "key=\$($keycmd)" || die "$keycmd: failed"
 printf "cmd='$cmd'\nkey='$key'\n" >$outd/help.ml.past
 
-for f in glMisc raw glTex; do
-    bocaml lablGL/$f.cmo 0 || true
-done
+bocaml lablGL/glMisc.cmo 0 || true
+bocaml lablGL/glTex.cmo 0 || true
 bocaml wsi/x11/wsi.cmo 0 || true
 bocaml main.cmo 0 || true
 bocamlc link.o
-- 
2.11.4.GIT