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