Bruce Momjian <pgman@candle.pha.pa.us> writes:
> --with-libedit-preferred prefer libedit over readline
> --without-readline do not use Readline
Possibly
--without-readline do not use readline or libedit
In any case please be consistent about the capitalization ...
regards, tom lane