Re: --disable-gui option removed

[Rik]

On 03/09/2016 09:01 AM, address@hidden wrote:

Subject:

--disable-gui not working anymore?

From:

JuanPi <address@hidden>

Date:

03/09/2016 03:00 AM

To:

Maintainers GNU Octave <address@hidden>

List-Post:

<mailto:address@hidden>

Precedence:

list

MIME-Version:

1.0

Message-ID:

<address@hidden>

Content-Type:

text/plain; charset=UTF-8

Message:

2

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.

--Rik