1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

Merge mysql.com:/space/my/mysql-4.0-build

into mysql.com:/space/my/mysql-4.1-build
This commit is contained in:
lenz@mysql.com
2005-10-11 21:24:01 +02:00

View File

@ -289,7 +289,7 @@ cd $SOURCE
for i in COPYING ChangeLog README EXCEPTIONS-CLIENT\ for i in COPYING ChangeLog README EXCEPTIONS-CLIENT\
INSTALL-SOURCE INSTALL-WIN \ INSTALL-SOURCE INSTALL-WIN \
INSTALL-WIN-SOURCE \ INSTALL-WIN-SOURCE \
Docs/INSTALL-BINARY Docs/INSTALL-BINARY Docs/manual.chm
do do
print_debug "Copying file '$i'" print_debug "Copying file '$i'"
if [ -f $i ] if [ -f $i ]