diff --git a/version-gen.sh b/version-gen.sh
index ca8414d47b4afe0c7e707b729423f8b3b6f39418..57300717c1ca9597259683368b458f8e3be92d2d 100755 (executable)
--- a/version-gen.sh
+++ b/version-gen.sh
VERSION="$( echo "$VERSION" | sed -e 's/-/./g' )"
echo -n "$VERSION"
VERSION="$( echo "$VERSION" | sed -e 's/-/./g' )"
echo -n "$VERSION"
+OLD_VERSION=""
+if test -e version; then
+ OLD_VERSION=$( sed -ne 's/^VERSION="\(.*\)"/\1/p' version )
+fi
+
+if test "$OLD_VERSION" != "$VERSION"; then
+ VERSION_MAJOR=$( echo $VERSION | cut -d'.' -f1 )
+ VERSION_MINOR=$( echo $VERSION | cut -d'.' -f2 )
+ VERSION_PATCH=$( echo $VERSION | cut -d'.' -f3 )
+ VERSION_EXTRA="\"$( echo $VERSION | cut -d'.' -f4- )\""
+ (
+ echo "VERSION=\"$VERSION\""
+ echo "VERSION_MAJOR=$VERSION_MAJOR"
+ echo "VERSION_MINOR=$VERSION_MINOR"
+ echo "VERSION_PATCH=$VERSION_PATCH"
+ echo "VERSION_EXTRA=\"$VERSION_EXTRA\""
+ echo "VERSION_STRING=\"$VERSION_MAJOR.$VERSION_MINOR.$VERSION_PATCH\""
+ ) > version
+fi
+