1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-27 18:02:13 +03:00

Fix reorder

This commit is contained in:
msvensson@pilot.mysql.com
2008-01-09 11:15:59 +01:00
parent 3f910d48f2
commit af4bede6df
2 changed files with 5 additions and 4 deletions

View File

@ -124,7 +124,6 @@ sub using_extern { return (keys %opts_extern > 0);};
our $opt_fast= 0;
our $opt_force;
our $opt_reorder= 0;
our $opt_mem= $ENV{'MTR_MEM'};
our $opt_gcov;
@ -368,7 +367,7 @@ sub command_line_setup {
'report-features' => \$opt_report_features,
'comment=s' => \$opt_comment,
'fast' => \$opt_fast,
'reorder' => \$opt_reorder,
'reorder' => \&collect_option,
'enable-disabled' => \&collect_option,
'verbose+' => \$opt_verbose,
'sleep=i' => \$opt_sleep,