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