diff options
author | unknown <kent.boortz@sun.com> | 2009-02-05 20:34:22 +0100 |
---|---|---|
committer | MySQL Build Team <build@mysql.com> | 2009-02-05 20:34:22 +0100 |
commit | 5a4e3eaa7a8ca355d6d49d8a9eaa6f1bc8b94aa1 (patch) | |
tree | 15f3297b5f09fd8d7243bb6b3e374937f297a0ca /scripts | |
parent | 04fdb65c975a28140a188596ef0bd8a98b86f7a6 (diff) | |
parent | e3d717099822cedb0722c054d3f131d4989efb1a (diff) | |
download | mariadb-git-5a4e3eaa7a8ca355d6d49d8a9eaa6f1bc8b94aa1.tar.gz |
Merge from mysql-5.1.31-release
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/make_binary_distribution.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/scripts/make_binary_distribution.sh b/scripts/make_binary_distribution.sh index 339b2a4c219..ee7c36b097d 100644 --- a/scripts/make_binary_distribution.sh +++ b/scripts/make_binary_distribution.sh @@ -60,13 +60,16 @@ STRIP=1 # Option ignored SILENT=0 PLATFORM="" TMP=/tmp +NEW_NAME="" # Final top directory and TAR package name SUFFIX="" +SHORT_PRODUCT_TAG="" # If don't want server suffix in package name NDBCLUSTER="" # Option ignored for arg do case "$arg" in --tmp=*) TMP=`echo "$arg" | sed -e "s;--tmp=;;"` ;; --suffix=*) SUFFIX=`echo "$arg" | sed -e "s;--suffix=;;"` ;; + --short-product-tag=*) SHORT_PRODUCT_TAG=`echo "$arg" | sed -e "s;--short-product-tag=;;"` ;; --no-strip) STRIP=0 ;; --machine=*) machine=`echo "$arg" | sed -e "s;--machine=;;"` ;; --platform=*) PLATFORM=`echo "$arg" | sed -e "s;--platform=;;"` ;; @@ -113,7 +116,11 @@ case $PLATFORM in esac # Change the distribution to a long descriptive name -NEW_NAME=mysql@MYSQL_SERVER_SUFFIX@-@VERSION@-$PLATFORM$SUFFIX +if [ x"$SHORT_PRODUCT_TAG" != x"" ] ; then + NEW_NAME=mysql-$SHORT_PRODUCT_TAG-@VERSION@-$PLATFORM$SUFFIX +else + NEW_NAME=mysql@MYSQL_SERVER_SUFFIX@-@VERSION@-$PLATFORM$SUFFIX +fi # ---------------------------------------------------------------------- # Define BASE, and remove the old BASE directory if any |