From 8facedbb89d4c5e16f5eafe266fd2710b14d5ebe Mon Sep 17 00:00:00 2001
From: malc <moosotc@gmail.com>
Date: Mon, 21 May 2018 22:26:35 +0300
Subject: [PATCH] Do not overdo it

---
 build.bash | 20 ++++++++++++--------
 1 file changed, 12 insertions(+), 8 deletions(-)

diff --git a/build.bash b/build.bash
index 81f6100..77a1827 100755
--- a/build.bash
+++ b/build.bash
@@ -119,6 +119,13 @@ test $oversnum -ge 406 || {
 }
 
 bocaml1() {
+    grep -q "$3" $outd/ordered || {
+        bocaml2 $*
+        echo "$3" >>"$outd/ordered"
+    }
+}
+
+bocaml2() {
     local n=$1
     local s="$2"
     local o="$3"
@@ -153,14 +160,11 @@ bocaml1() {
 
     cmd="ocamlc $(oflags $o) -c -o $o $s"
     keycmd="digest $o $s $(< $o.depl)"
-    grep -q "$o" $outd/ordered || {
-        echo "$o" >>"$outd/ordered"
-        isfresh "$o" "$overs$cmd$(eval $keycmd)" || {
-            printf "%*.s%s -> %s\n" $n '' "${s#$srcd/}" "${o#$outd/}"
-            eval "$cmd || die '$cmd failed'"
-            echo "k='$overs$cmd$(eval $keycmd)'" >"$o.past"
-        } && vecho "fresh '$o'"
-    }
+    isfresh "$o" "$overs$cmd$(eval $keycmd)" || {
+        printf "%*.s%s -> %s\n" $n '' "${s#$srcd/}" "${o#$outd/}"
+        eval "$cmd || die '$cmd failed'"
+        echo "k='$overs$cmd$(eval $keycmd)'" >"$o.past"
+    } && vecho "fresh '$o'"
 }
 
 bocaml() (
-- 
2.11.4.GIT