diff options
| author | Michael Widenius <monty@askmonty.org> | 2011-10-16 22:46:11 +0300 |
|---|---|---|
| committer | Michael Widenius <monty@askmonty.org> | 2011-10-16 22:46:11 +0300 |
| commit | d5959780aaa66b229df406e6343d0ef1b4d36750 (patch) | |
| tree | 6c97f364d0b8f4b2a9d996ac8b06cfd680815397 /scripts | |
| parent | aed67d25829791d3e3f8dedc83e17179a1043259 (diff) | |
| download | mariadb-git-d5959780aaa66b229df406e6343d0ef1b4d36750.tar.gz | |
Remove extra MariaDB- from binary tar.gz file name
Print server version name to .err file on crash
scripts/make_binary_distribution.sh:
Remove extra MariaDB- from binary tar.gz file name
sql/mysqld.cc:
Print server version name to .err file on crash (to ensure people paste also that when they report a crash)
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/make_binary_distribution.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/make_binary_distribution.sh b/scripts/make_binary_distribution.sh index 733dd4ef3e6..789f3e3ce2e 100644 --- a/scripts/make_binary_distribution.sh +++ b/scripts/make_binary_distribution.sh @@ -169,6 +169,7 @@ esac VERSION_NAME=@VERSION@ case $VERSION_NAME in *-ndb-* ) VERSION_NAME=`echo $VERSION_NAME | sed -e 's/[.0-9]*-ndb-//'` ;; + *-MariaDB-* ) VERSION_NAME=`echo $VERSION_NAME | sed -e 's/-MariaDB//'` ;; esac if [ x"$SHORT_PRODUCT_TAG" != x"" ] ; then NEW_NAME=mariadb-$SHORT_PRODUCT_TAG-$VERSION_NAME-$PLATFORM$SUFFIX |