diff options
| author | Joerg Bruehe <joerg@mysql.com> | 2008-08-27 16:25:24 +0200 |
|---|---|---|
| committer | Joerg Bruehe <joerg@mysql.com> | 2008-08-27 16:25:24 +0200 |
| commit | 1c855bc1f18b96357ff195fa1a5424b5ec9454ec (patch) | |
| tree | 38242cc0177dae7fa062af1bac51558fca49aa3f /scripts/make_binary_distribution.sh | |
| parent | a4b0681ad19cea6c506024690aaddbe13f7d3a03 (diff) | |
| parent | 7077649ef1a6201ba7f2c5792e8935ea0b4689cf (diff) | |
| download | mariadb-git-1c855bc1f18b96357ff195fa1a5424b5ec9454ec.tar.gz | |
Merge the bug fix development (37098: "unpackaged files")
into the 5.0 team tree.
Diffstat (limited to 'scripts/make_binary_distribution.sh')
| -rw-r--r-- | scripts/make_binary_distribution.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/make_binary_distribution.sh b/scripts/make_binary_distribution.sh index af3db86af81..e5e08038bff 100644 --- a/scripts/make_binary_distribution.sh +++ b/scripts/make_binary_distribution.sh @@ -272,6 +272,8 @@ if [ $BASE_SYSTEM != "netware" ] ; then if [ -d man ] ; then $CP man/*.1 $BASE/man/man1 $CP man/*.8 $BASE/man/man8 + # In a Unix binary package, these tools and their manuals are not useful + rm -f $BASE/man/man1/make_win_* fi fi @@ -331,6 +333,7 @@ fi rm -f $BASE/bin/Makefile* $BASE/bin/*.in $BASE/bin/*.sh \ $BASE/bin/mysql_install_db $BASE/bin/make_binary_distribution \ + $BASE/bin/make_win_* \ $BASE/bin/setsomevars $BASE/support-files/Makefile* \ $BASE/support-files/*.sh |