1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-01 03:47:19 +03:00

upmerge fix for 54364

This commit is contained in:
Bjorn Munch
2010-06-15 13:40:35 +02:00

View File

@ -206,7 +206,7 @@ my $config; # The currently running config
my $current_config_name; # The currently running config file template my $current_config_name; # The currently running config file template
our @opt_experimentals; our @opt_experimentals;
our $experimental_test_cases; our $experimental_test_cases= [];
my $baseport; my $baseport;
# $opt_build_thread may later be set from $opt_port_base # $opt_build_thread may later be set from $opt_port_base