mirror of
https://github.com/MariaDB/server.git
synced 2025-08-08 11:22:35 +03:00
included make_win_bin_dist (required for pushbuild) into distribution (make dist)
This commit is contained in:
@@ -66,7 +66,8 @@ EXTRA_SCRIPTS = make_binary_distribution.sh \
|
||||
|
||||
EXTRA_DIST = $(EXTRA_SCRIPTS) \
|
||||
mysqlaccess.conf \
|
||||
mysqlbug
|
||||
mysqlbug \
|
||||
make_win_bin_dist
|
||||
|
||||
dist_pkgdata_DATA = fill_help_tables.sql mysql_fix_privilege_tables.sql
|
||||
|
||||
|
Reference in New Issue
Block a user