From 406d427592ae41b6a29d6d77c748f747e867c1a0 Mon Sep 17 00:00:00 2001
From: malc <moosotc@gmail.com>
Date: Fri, 20 Apr 2018 06:39:48 +0300
Subject: [PATCH] Properly handle lack of git tree when computing ver

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

diff --git a/build.sh b/build.sh
index 4e26e99..13e28d7 100755
--- a/build.sh
+++ b/build.sh
@@ -162,7 +162,7 @@ Printf.printf "] and version = \"$ver\";;"
 EOF
 }
 
-ver=$(cd $srcd && git describe --tags --dirty) || echo unknown
+ver=$(cd $srcd && git describe --tags --dirty) || ver=unknown
 cmd="mkhelp >$outd/help.ml"
 keycmd="digest $srcd/KEYS; echo $ver"
 isfresh "$outd/help.ml" '$cmd$(eval $keycmd)$ver' || {
-- 
2.11.4.GIT