From 9ae201c9824be1f443e8f8c94e81526ed2df2155 Mon Sep 17 00:00:00 2001 From: malc Date: Tue, 10 Apr 2018 08:28:36 +0300 Subject: [PATCH] Consistent vecho --- build.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/build.sh b/build.sh index 3bc9058..60fd6a2 100755 --- a/build.sh +++ b/build.sh @@ -113,7 +113,7 @@ bocamlc() { eval "$cmd" read _ d <$o.dep echo "k='$cmd$(eval $keycmd)'" >$o.past - } + } && $vecho "fresh $o" } bobjc() { @@ -127,7 +127,7 @@ bobjc() { eval "$cmd" read _ d <$o.dep echo "k='$cmd$(eval $keycmd)'" >$o.past - } + } && $vecho "fresh $o" } mkdir -p $outd/$wsi @@ -156,7 +156,7 @@ keycmd="digest $srcd/KEYS; echo $ver" isfresh "$outd/help.ml" '$cmd$(eval $keycmd)$ver' || { eval $cmd echo "k='$cmd$(eval $keycmd)$ver'" >$outd/help.ml.past -} +} && $vecho "fresh $outd/help.ml" # following is disgusting (from "generalize everything" perspective), # but generic method of derviving .ml's location from .mli's is not @@ -192,7 +192,7 @@ isfresh "$outd/llpp" "$cmd$(eval $keycmd)" || { echo linking $outd/llpp eval $cmd || echo "$cmd failed" echo "k='$cmd$(eval $keycmd)'" >$outd/llpp.past - } + } && $vecho "fresh llpp" if $darwin; then shortver=$(echo $ver | sed -n 's/v\([0-9]*\).*/\1/p') -- 2.11.4.GIT