diff options
| author | mwagner@ultrafly.mysql.com <> | 2005-05-09 12:05:13 +0200 |
|---|---|---|
| committer | mwagner@ultrafly.mysql.com <> | 2005-05-09 12:05:13 +0200 |
| commit | f5ba5ab02462749f2fb77c727ab7890e2e57f6c1 (patch) | |
| tree | 75c983e2d5f7a369b7b18c45f4d6575b03eed301 /scripts | |
| parent | c5cb8a2bfa286f6db671187df7d92e5bde8f924f (diff) | |
| download | mariadb-git-f5ba5ab02462749f2fb77c727ab7890e2e57f6c1.tar.gz | |
make_binary_distribution.sh:
- Print the platform name for the build logs.
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/make_binary_distribution.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/make_binary_distribution.sh b/scripts/make_binary_distribution.sh index 6c0487aee40..48461135b44 100644 --- a/scripts/make_binary_distribution.sh +++ b/scripts/make_binary_distribution.sh @@ -312,6 +312,10 @@ system=`echo $system | sed -e 's/sco3.2v\(.*\)/openserver\1/g'` # 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 |