mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-17 20:42:30 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge trift2.:/MySQL/M51/bug33536-5.1

Browse source 
into  trift2.:/MySQL/M51/push-5.1
This commit is contained in:
unknown 2007-12-28 15:50:44 +01:00
commit 8b1ff4ef58
1 changed files with 6 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
scripts/make_binary_distribution.sh
View file

@ -218,11 +218,13 @@ if [ x"$BASE_SYSTEM" != x"netware" ] ; then
# If we compiled with gcc, copy libgcc.a to the dist as libmygcc.a
# ----------------------------------------------------------------------
if [ x"@GXX@" = x"yes" ] ; then
gcclib=`@CC@ @CFLAGS@ --print-libgcc-file`
if [ $? -ne 0 ] ; then
echo "Warning: Couldn't find libgcc.a!"
gcclib=`@CC@ @CFLAGS@ --print-libgcc-file 2>/dev/null` || true
if [ -z "$gcclib" ] ; then
echo "Warning: Compiler doesn't tell libgcc.a!"
elif [ -f "$gcclib" ] ; then
$CP $gcclib $BASE/lib/libmygcc.a
else
$CP $gcclib $DEST/lib/libmygcc.a
echo "Warning: Compiler result '$gcclib' not found / no file!"
fi
fi