diff options
Diffstat (limited to 'Build-tools')
| -rwxr-xr-x | Build-tools/Do-compile | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/Build-tools/Do-compile b/Build-tools/Do-compile index a3da1804af5..0a4776b3eb9 100755 --- a/Build-tools/Do-compile +++ b/Build-tools/Do-compile @@ -215,7 +215,14 @@ if ($opt_stage <= 1) # Only enable InnoDB when requested (required to be able to # build the "Classic" packages that do not include InnoDB) - $opt_config_options.= " --without-innodb" if (!$opt_innodb); + if ($opt_innodb) + { + $opt_config_options.= " --with-innodb"; + } + else + { + $opt_config_options.= " --without-innodb"; + } if ($opt_with_other_libc) { |