diff --git a/Build-tools/Do-compile b/Build-tools/Do-compile index 853611087004d8456d630b90ccb0607d30e1bcee..0a89c6a8dd29eadaab7542eee62219a689f9bac7 100755 --- a/Build-tools/Do-compile +++ b/Build-tools/Do-compile @@ -249,7 +249,14 @@ if ($opt_stage <= 1) $opt_config_options.= " --with-low-memory" if ($opt_with_low_memory); $opt_config_options.= " --with-mysqld-ldflags=-all-static" if ($opt_static_server); $opt_config_options.= " --with-raid" if ($opt_raid); - $opt_config_options.= " --with-readline" if ($opt_readline); + if ($opt_readline) + { + $opt_config_options.= " --with-readline"; + } + else + { + $opt_config_options.= " --without-readline --with-libedit"; + } $opt_config_options.= " --with-embedded-server" unless ($opt_without_embedded); $opt_config_options.= " --with-ndbcluster" if ($opt_with_cluster);