1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

- added mysql_waitpid to the MySQL-client RPM and binary distributions

- renamed MySQL.rpm to MySQL-server.rpm
This commit is contained in:
lenz@mysql.com
2003-01-24 16:10:21 +01:00
parent 9ec97f2c08
commit 1ecf9d5098
2 changed files with 39 additions and 4 deletions

View File

@@ -64,7 +64,7 @@ do
done
for i in extra/comp_err extra/replace extra/perror extra/resolveip \
extra/my_print_defaults extra/resolve_stack_dump \
extra/my_print_defaults extra/mysql_waitpid extra/resolve_stack_dump \
isam/isamchk isam/pack_isam myisam/myisamchk \
myisam/myisampack sql/mysqld client/mysqlbinlog \
client/mysql sql/mysqld client/mysqlshow client/mysqlcheck \