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

---------------------------(end of broadcast)---------------------------
TIP 5: don't forget to increase your free space map settings

Reply via email to