mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 20:12:31 +01:00
- added make_win_src_distribution.sh to EXTRA_SCRIPTS
This commit is contained in:
parent
09fda4f774
commit
851bb139af
1 changed files with 1 additions and 0 deletions
|
@ -32,6 +32,7 @@ bin_SCRIPTS = @server_scripts@ \
|
|||
make_win_src_distribution
|
||||
|
||||
EXTRA_SCRIPTS = make_binary_distribution.sh \
|
||||
make_win_src_distribution.sh \
|
||||
msql2mysql.sh \
|
||||
mysql_config.sh \
|
||||
mysql_fix_privilege_tables.sh \
|
||||
|
|
Loading…
Reference in a new issue