1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

merge from next-mr

This commit is contained in:
Bjorn Munch
2009-10-18 10:08:07 +02:00
371 changed files with 18611 additions and 19832 deletions

View File

@ -818,7 +818,6 @@ sub command_line_setup {
'combination=s' => \@opt_combinations,
'skip-combinations' => \&collect_option,
'experimental=s' => \$opt_experimental,
'skip-im' => \&ignore_option,
# Specify ports
'build-thread|mtr-build-thread=i' => \$opt_build_thread,