diff options
author | unknown <lenz@mysql.com> | 2004-06-22 02:15:52 +0200 |
---|---|---|
committer | unknown <lenz@mysql.com> | 2004-06-22 02:15:52 +0200 |
commit | 492204b371e85610864098483760176943e4f0b2 (patch) | |
tree | e39e8f0a0932db1abe5e02226c2f32554094cfc2 /Build-tools | |
parent | 06c845eeb668a49c734e35f6a88be59b2df5b35d (diff) | |
download | mariadb-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-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 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); |