version-gen.sh: Prepend a dot to VERSION_EXTRA.

diff --git a/version-gen.sh b/version-gen.sh
index 57300717c1ca9597259683368b458f8e3be92d2d..b9d8c967048522484bd9a062daf3dbf89fd0b662 100755 (executable)
--- a/version-gen.sh
+++ b/version-gen.sh
@@ -27,6 +27,7 @@ if test "$OLD_VERSION" != "$VERSION"; then
        VERSION_MINOR=$( echo $VERSION | cut -d'.' -f2 )
        VERSION_PATCH=$( echo $VERSION | cut -d'.' -f3 )
        VERSION_EXTRA="\"$( echo $VERSION | cut -d'.' -f4- )\""
+       test -z "$VERSION_EXTRA" || VERSION_EXTRA=".$VERSION_EXTRA"
        (
         echo "VERSION=\"$VERSION\""
         echo "VERSION_MAJOR=$VERSION_MAJOR"