Re: --disable-gui option removed

[JuanPi]

On Wed, Mar 9, 2016 at 11:16 PM, Mike Miller <address@hidden> wrote:
> On Wed, Mar 09, 2016 at 13:59:13 -0800, Rik wrote:
>> > Hi, I might have missed it form the mailing list, please excuse me.
>> > It seems that --disable-gui doesn't disable the compilation of the gui.
>> > Can anybody check this?
>> >
>> I think it's been removed.
>>
>> ./configure --help | grep 'disable-gui' displays nothing on the default
>> branch, but does return something on the stable branch.
>
> I see it was removed and --without-qt was added in its place, try that.
>
> --
> mike

Thank you. Yes, --without-qt does the trick.

-- 
JuanPi Carbajal
Public GnuPG key: 9C5B72BF
-----
The end of funding: "Many researchers were caught up in a web of
increasing exaggeration."
- Hans Moravec