1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-07 00:04:31 +03:00

Merge mysql.com:/M40/mysql-4.0 into mysql.com:/M41/merge-4.1

scripts/make_binary_distribution.sh:
  Auto merged
This commit is contained in:
unknown
2006-03-02 10:48:46 +01:00

View File

@@ -315,7 +315,7 @@ BASE=$BASE2
if [ x"@GXX@" = x"yes" ] ; then if [ x"@GXX@" = x"yes" ] ; then
gcclib=`@CC@ --print-libgcc-file` gcclib=`@CC@ --print-libgcc-file`
if [ $? -ne 0 ] ; then if [ $? -ne 0 ] ; then
print "Warning: Couldn't find libgcc.a!" echo "Warning: Couldn't find libgcc.a!"
else else
$CP $gcclib $BASE/lib/libmygcc.a $CP $gcclib $BASE/lib/libmygcc.a
fi fi