make_binary_distribution.sh: fix path for installing the MALLOC_LIB (to $DEST/lib)

This commit is contained in:
timothy.smith@sun.com 2009-09-29 21:11:41 +02:00 committed by Timothy
parent bac9e9a02e
commit 92485639d6

View file

@ -298,7 +298,7 @@ if [ x"$BASE_SYSTEM" != x"netware" ] ; then
# If requested, add a malloc library .so into pkglibdir for use
# by mysqld_safe
if [ -n "$MALLOC_LIB" ]; then
cp "$MALLOC_LIB" '@pkglibdir@'
cp "$MALLOC_LIB" "$DEST/lib/"
fi
# FIXME let this script be in "bin/", where it is in the RPMs?