diff options
| -rw-r--r-- | ChangeLog | 5 | ||||
| -rwxr-xr-x | src-release.sh | 4 |
2 files changed, 9 insertions, 0 deletions
@@ -1,3 +1,8 @@ +2019-07-13 Joel Brobecker <brobecker@adacore.com> + + * src-release (getver): If $tool/gdbsupport/create-version.sh + exists, use that to determine the version number. + 2019-06-21 Andreas Schwab <schwab@linux-m68k.org> * src-release.sh (GDB_SUPPORT_DIRS): Add gnulib. diff --git a/src-release.sh b/src-release.sh index 1654656..90d5568 100755 --- a/src-release.sh +++ b/src-release.sh @@ -61,6 +61,10 @@ getver() $tool/common/create-version.sh $tool 'dummy-host' 'dummy-target' VER.tmp cat VER.tmp | grep 'version\[\]' | sed 's/.*"\([^"]*\)".*/\1/' | sed 's/-git$//' rm -f VER.tmp + elif test -f $tool/gdbsupport/create-version.sh; then + $tool/gdbsupport/create-version.sh $tool 'dummy-host' 'dummy-target' VER.tmp + cat VER.tmp | grep 'version\[\]' | sed 's/.*"\([^"]*\)".*/\1/' | sed 's/-git$//' + rm -f VER.tmp elif test -f $tool/version.in; then head -1 $tool/version.in else |