Re: [PATCH] Have configure complain about unknown options - Mailing list pgsql-patches

From Tom Lane
Subject Re: [PATCH] Have configure complain about unknown options
Date
Msg-id 11046.1146761494@sss.pgh.pa.us
Whole thread Raw
In response to [PATCH] Have configure complain about unknown options  (Martijn van Oosterhout <kleptog@svana.org>)
Responses Re: [PATCH] Have configure complain about unknown options  (Martijn van Oosterhout <kleptog@svana.org>)
Re: [PATCH] Have configure complain about unknown options  ("Marko Kreen" <markokr@gmail.com>)
List pgsql-patches
Martijn van Oosterhout <kleptog@svana.org> writes:
> Currently, configure ignores unknown --enable/disable/with/without
> options.

The autoconf people consider that a feature, not a bug.  I'm
disinclined to second-guess the designers of the tool, especially
with a patch like this that mucks with the internals to the extent that
it'll probably break in every future autoconf revision.

Feel free to try to convince them to change it though ...

            regards, tom lane

pgsql-patches by date:

Previous
From: Tom Lane
Date:
Subject: Re: Page at a time index scan
Next
From: Martijn van Oosterhout
Date:
Subject: Re: [PATCH] Have configure complain about unknown options