diff options
| -rwxr-xr-x | bld/get-version | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bld/get-version b/bld/get-version index 0ac948a..15e5051 100755 --- a/bld/get-version +++ b/bld/get-version @@ -17,7 +17,7 @@ elif grep '\$Format:%d\$' $1/VERSION >/dev/null 2>&1; then # unsubstituted VERSION, but no git available. echo UNKNOWN else - vers=`cat $1/VERSION | sed 's/[(), ]/,/ g' | tr ',' '\n' | grep $v[0-9]` + vers=`cat $1/VERSION | sed 's/[(), ]/,/ g' | tr ',' '\n' | grep ^v[0-9]` if [ $? -eq 0 ]; then echo "${vers}" | sort | head -n 1 | sed 's/^v//' |