diff options
| author | Michael Widenius <monty@askmonty.org> | 2011-12-01 20:14:53 +0200 |
|---|---|---|
| committer | Michael Widenius <monty@askmonty.org> | 2011-12-01 20:14:53 +0200 |
| commit | 7ee179097669f36809891e35b734954c55101542 (patch) | |
| tree | a4ff46898dc8d04405ea962e9001e58755945b94 /configure.in | |
| parent | efcfb195e3fc4a2b87bfcb9ad136d46b9961f49e (diff) | |
| parent | dad1322940f89aec19ff805c4218ea9daa766435 (diff) | |
| download | mariadb-git-7ee179097669f36809891e35b734954c55101542.tar.gz | |
Merge with 5.1
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.in b/configure.in index 2b7c2f715eb..1e1441ef59b 100644 --- a/configure.in +++ b/configure.in @@ -2713,7 +2713,7 @@ case $SYSTEM_TYPE in echo "Skipping readline" ;; *) - if [test "$with_libedit" = "yes"] || [test "$with_libedit" = "undefined"] && [test "$with_readline" = "undefined"] + if [test "$with_libedit" = "yes"] || ( [test "$with_libedit" = "undefined"] && [test "$with_readline" = "undefined"] ) then readline_topdir="cmd-line-utils" readline_basedir="libedit" |