mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2026-05-14 19:07:15 +02:00
Code Issues Projects Releases Packages Wiki Activity

Merge from mysql-5.0-bugteam.

Browse source
This commit is contained in:
Alexander Nozdrin 2010-11-24 13:07:37 +03:00
commit 1e43b94c70
13 changed files with 19 additions and 25 deletions
Download patch file Download diff file Expand all files Collapse all files

4
scripts/make_win_bin_dist
View file

@ -187,8 +187,8 @@ cp ChangeLog $DESTDIR/Docs/ || /bin/true
cp support-files/my-*.ini $DESTDIR/
if [ -f COPYING ] ; then
cp COPYING EXCEPTIONS-CLIENT $DESTDIR/
cp COPYING $DESTDIR/Docs/
cp COPYING $DESTDIR/
cp COPYING $DESTDIR/Docs/
fi
# ----------------------------------------------------------------------