diff options
| author | unknown <lenz@mysql.com> | 2005-07-06 14:00:24 +0200 |
|---|---|---|
| committer | unknown <lenz@mysql.com> | 2005-07-06 14:00:24 +0200 |
| commit | 81c31e3b007ad0098f14986feddb915b532b6dbb (patch) | |
| tree | d5f8fcb7df1ce133b2c2fd14310af0c67d13ec5f /scripts/make_binary_distribution.sh | |
| parent | 2aaca01c46656ca65c8051e5294601a7acd6bd56 (diff) | |
| parent | 2a04d15596aa2f86fcfc1291f1460e8b92060e39 (diff) | |
| download | mariadb-git-81c31e3b007ad0098f14986feddb915b532b6dbb.tar.gz | |
Merge mysql.com:/space/my/mysql-4.0-build
into mysql.com:/space/my/mysql-4.1-build
scripts/make_binary_distribution.sh:
Auto merged
Diffstat (limited to 'scripts/make_binary_distribution.sh')
| -rw-r--r-- | scripts/make_binary_distribution.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/scripts/make_binary_distribution.sh b/scripts/make_binary_distribution.sh index 2f49104ad46..3b8cc1ca12a 100644 --- a/scripts/make_binary_distribution.sh +++ b/scripts/make_binary_distribution.sh @@ -15,6 +15,7 @@ MV="mv" STRIP=1 DEBUG=0 SILENT=0 +MACHINE= TMP=/tmp SUFFIX="" NDBCLUSTER= @@ -26,6 +27,7 @@ parse_arguments() { --tmp=*) TMP=`echo "$arg" | sed -e "s;--tmp=;;"` ;; --suffix=*) SUFFIX=`echo "$arg" | sed -e "s;--suffix=;;"` ;; --no-strip) STRIP=0 ;; + --machine=*) MACHINE=`echo "$arg" | sed -e "s;--machine=;;"` ;; --silent) SILENT=1 ;; --with-ndbcluster) NDBCLUSTER=1 ;; *) @@ -286,8 +288,17 @@ if [ x$NDBCLUSTER = x1 ]; then rm -rf $BASE/ndb-stage fi +# Use the override --machine if present +if [ -n "$MACHINE" ] ; then + machine=$MACHINE +fi + # Change the distribution to a long descriptive name NEW_NAME=mysql@MYSQL_SERVER_SUFFIX@-$version-$system-$machine$SUFFIX + +# Print the platform name for build logs +echo "PLATFORM NAME: $system-$machine" + BASE2=$TMP/$NEW_NAME rm -r -f $BASE2 mv $BASE $BASE2 |