diff --git a/scripts/MAKE_RELEASE.sh b/scripts/MAKE_RELEASE.sh index 7d0a85950..2aa76447e 100644 --- a/scripts/MAKE_RELEASE.sh +++ b/scripts/MAKE_RELEASE.sh @@ -47,9 +47,11 @@ fi echo "Exporting $tag to $destdir/$prefix..." git archive --prefix="$prefix/" $tag | ( cd "$destdir" && tar xf - ) -versionh="$destdir/$prefix/version.h" +versionh="$destdir/$prefix/version_tag.h" echo "Create $versionh ..." -echo "#define VERSION_TAG \"$tag\"" > $versionh +echo "#ifndef VERSION_TAG" > $versionh +echo "#define VERSION_TAG \"$tag\"" >> $versionh +echo "#endif" >> $versionh echo "Running autoconf.sh..." ( cd $destdir/$prefix && sh autoconf.sh ) diff --git a/scripts/MAKE_SNAPSHOT.sh b/scripts/MAKE_SNAPSHOT.sh index cb26bc9ca..d54fdc954 100644 --- a/scripts/MAKE_SNAPSHOT.sh +++ b/scripts/MAKE_SNAPSHOT.sh @@ -47,9 +47,11 @@ fi echo "Exporting $tag to $destdir/$prefix..." git archive --prefix="$prefix/" $tag | ( cd "$destdir" && tar xf - ) -versionh="$destdir/$prefix/version.h" +versionh="$destdir/$prefix/version_tag.h" echo "Create $versionh ..." -echo "#define VERSION_TAG \"$tag\"" > $versionh +echo "#ifndef VERSION_TAG" > $versionh +echo "#define VERSION_TAG \"$tag\"" >> $versionh +echo "#endif" >> $versionh echo "Running autoconf.sh..." ( cd $destdir/$prefix && sh autoconf.sh )