This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: --without-local-prefix Does Not Work
- To: Jeffrey A Law <law at cygnus dot com>
- Subject: Re: --without-local-prefix Does Not Work
- From: Todd Vierling <tv at pobox dot com>
- Date: Sun, 13 Sep 1998 11:09:17 -0400 (EDT)
- cc: Vin Shelton <acs at alumni dot princeton dot edu>, egcs at cygnus dot com
On Wed, 9 Sep 1998, Jeffrey A Law wrote:
: b. --with-local-prefix=no which gives you the default value.
: Specifying "no" does not disable the use of local_prefix, nor should
: it. The fact that it did so in earlier snapshots/releases was a bug.
Why is this a `bug' and why is it so difficult to convince you that some
users WANT to keep /usr/local/include out of the include search path?
(Myself included.)
--with-local-prefix=no is actually a bug, as it runs against the grain of
what --with-*=no/--without-* options are supposed to do: _disable_
features.
--
-- Todd Vierling (Personal tv@pobox.com; Bus. todd_vierling@xn.xerox.com)