From 1ccfed7d21bfe74ace350c4f480b6b7e392b3fb9 Mon Sep 17 00:00:00 2001 From: unknown Date: Mon, 9 May 2005 12:05:13 +0200 Subject: [PATCH] make_binary_distribution.sh: - Print the platform name for the build logs. scripts/make_binary_distribution.sh: - Print the platform name for the build logs. --- scripts/make_binary_distribution.sh | 4 ++++ 1 file changed, 4 insertions(+) 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