PATCH: honor --oldincludedir

[Alexandre Oliva]

On Jan 25, 2001, Roger Collins <roger@proproject.com> wrote:

> I don't have write access to /usr/include and I wanted to fix something
> there before running the build, so I copied /usr/include to my own
> directory,  made the fix, and used configure --oldincludedir=that-dir,
> but the Makefile did not honor that config option.

Wouldn't --with-headers have done what you want?

-- 
Alexandre Oliva   Enjoy Guarana', see http://www.ic.unicamp.br/~oliva/
Red Hat GCC Developer                  aoliva@{cygnus.com, redhat.com}
CS PhD student at IC-Unicamp        oliva@{lsd.ic.unicamp.br, gnu.org}
Free Software Evangelist    *Please* write to mailing lists, not to me