diff options
Diffstat (limited to 'tools/make-version-header.sh')
| -rwxr-xr-x | tools/make-version-header.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/make-version-header.sh b/tools/make-version-header.sh index ce3b70c67c..707d04fa2b 100755 --- a/tools/make-version-header.sh +++ b/tools/make-version-header.sh @@ -39,7 +39,7 @@ case $# in esac major="`echo "$version" | sed -n -e '1s/^\([0-9]*\)\..*/\1/p'`" -minor="`echo "$version" | sed -n -e '1s/^[0-9]*\.\([0-9]*\).*/\1/p'`" +minor="`echo "$version" | sed -n -e '1s/^[0-9]*\.0*\([0-9]*\).*/\1/p'`" patchlvl="`echo "$version" | sed -n -e '1s/^[0-9]*\.[0-9]*\.\([0-9]*\).*/\1/p'`" suffix="`echo "$version" | sed -n -e '1s/^[^+]*+\(.*\)/\1/p'`" |