mirror of
https://github.com/MariaDB/server.git
synced 2025-02-01 19:41:47 +01:00
Merge bk-internal:/home/bk/mysql-5.0-maint
into neptunus.(none):/home/msvensson/mysql/mysql-5.0-maint
This commit is contained in:
commit
09a36146b8
1 changed files with 1 additions and 1 deletions
|
@ -816,7 +816,7 @@ sub command_line_setup () {
|
|||
if ( $glob_win32 )
|
||||
{
|
||||
mtr_report("Disable Instance manager - not supported on Windows");
|
||||
opt_skip_im= 1;
|
||||
$opt_skip_im= 1;
|
||||
}
|
||||
|
||||
# Check valgrind arguments
|
||||
|
|
Loading…
Add table
Reference in a new issue