Tom Lane wrote:
>Bruce Momjian <pgman@candle.pha.pa.us> writes:
>
>
>>I trimmed it down to:
>> --with-prefer-libedit prefer libedit over readline
>>
>>
>
>OK, I can live with that.
>
>
>
>
I think it's ugly. Can't we just say --prefer-libedit ?
If must be a --with-foo flag, maybe --with-libedit-preferred or
--with-libedit-first would be better.
cheers
andrew