diff --git a/Build-tools/Do-compile b/Build-tools/Do-compile
index 0a89c6a8dd2..6aa36a9ccdb 100755
--- a/Build-tools/Do-compile
+++ b/Build-tools/Do-compile
@@ -255,7 +255,7 @@ if ($opt_stage <= 1)
 	}
 	else
 	{
-		$opt_config_options.= " --without-readline --with-libedit";
+		$opt_config_options.= " --with-libedit";
 	}
   $opt_config_options.= " --with-embedded-server" unless ($opt_without_embedded);
   $opt_config_options.= " --with-ndbcluster" if ($opt_with_cluster);