mirror of
https://github.com/MariaDB/server.git
synced 2025-01-18 21:12:26 +01:00
Turn on reorder as default.
This commit is contained in:
parent
6b71aaa256
commit
73fe10d538
1 changed files with 1 additions and 1 deletions
|
@ -216,7 +216,7 @@ our $opt_embedded_server;
|
|||
our $opt_extern;
|
||||
our $opt_fast;
|
||||
our $opt_force;
|
||||
our $opt_reorder= 0;
|
||||
our $opt_reorder= 1;
|
||||
our $opt_enable_disabled;
|
||||
|
||||
our $opt_gcov;
|
||||
|
|
Loading…
Reference in a new issue