mirror of
https://github.com/MariaDB/server.git
synced 2026-05-04 06:05:32 +02:00
make_binary_distribution.sh:
Corrected platform name output Services.cpp: Dont print null address (back port from 5.0) ndb/src/mgmsrv/Services.cpp: Dont print null address (back port from 5.0) scripts/make_binary_distribution.sh: Corrected platform name output
This commit is contained in:
parent
707a4b6539
commit
2d017ee897
2 changed files with 3 additions and 3 deletions
|
|
@ -293,10 +293,10 @@ if [ x$NDBCLUSTER = x1 ]; then
|
|||
fi
|
||||
|
||||
# Change the distribution to a long descriptive name
|
||||
NEW_NAME=mysql@MYSQL_SERVER_SUFFIX@-$version-$PLATFORM$SUFFIX
|
||||
NEW_NAME=mysql@MYSQL_SERVER_SUFFIX@-$version-$platform$SUFFIX
|
||||
|
||||
# Print the platform name for build logs
|
||||
echo "PLATFORM NAME: $PLATFORM"
|
||||
echo "PLATFORM NAME: $platform"
|
||||
|
||||
BASE2=$TMP/$NEW_NAME
|
||||
rm -rf $BASE2
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue