summaryrefslogtreecommitdiff
path: root/Build-tools
diff options
context:
space:
mode:
authorunknown <lenz@mysql.com>2004-06-22 02:15:52 +0200
committerunknown <lenz@mysql.com>2004-06-22 02:15:52 +0200
commit492204b371e85610864098483760176943e4f0b2 (patch)
treee39e8f0a0932db1abe5e02226c2f32554094cfc2 /Build-tools
parent06c845eeb668a49c734e35f6a88be59b2df5b35d (diff)
downloadmariadb-git-492204b371e85610864098483760176943e4f0b2.tar.gz
- explicitely enable libedit in Do-compile, when readline is not
requested Build-tools/Do-compile: - explicitely enable libedit, when readline is not requested
Diffstat (limited to 'Build-tools')
-rwxr-xr-xBuild-tools/Do-compile9
1 files changed, 8 insertions, 1 deletions
diff --git a/Build-tools/Do-compile b/Build-tools/Do-compile
index 85361108700..0a89c6a8dd2 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);