bbf1f87ee6aa73a11bcb0a3b33fbe7349d20ebcb

Author
Tristan Carel <tcarel@exalead.com>
Committer
Tristan Carel <tcarel@exalead.com>
Date

Message

Fix version parsing. Now working with command $ zsh --version

Diff

 1diff --git a/tools/require_tool.sh b/tools/require_tool.sh
 2index 42da2ccf9371e39cee34b2b23be38d047a4d52f8..1fa77f77abcfdd70231fa1fc841af5e25d6d26c5 100755
 3--- a/tools/require_tool.sh
 4+++ b/tools/require_tool.sh
 5@@ -89,7 +89,7 @@ require_tool ()
 6   envvar_name=$(echo $1 | tr '[:lower:]' '[:upper:]')
 7   tool=$(printenv $envvar_name || echo $1)
 8   local version=$($tool --version 2>/dev/null| \
 9-    sed -n 's/.*[^0-9.]\([0-9][0-9.]*\).*/\1/p;q')
10+    sed -n 's/.*[^0-9.]\([0-9]*\.[0-9.]*\).*/\1/p;q')
11   if test x"$version" = x ; then
12       echo "$tool is required" >/dev/stderr
13       return 1