GCC headers and DJGPP port

[Eli Zaretskii]

> From: Mike Stump <mrs@windriver.com>
> Date: Sun, 23 Jul 2000 13:55:15 -0700 (PDT)
> 
> For this reason, I am against your modification to my
> scheme.  I'd rather simplify it, and risk the bugs, and fix any that
> might arise, than do as you suggest.

My suggestion was for the case that something like a switch to
`configure' was deemed a lesser evil than risking bugs.  If it's the
other way around, I'm with you.

> Take a look at config/*/* and you'll start to see what I mean.

Yes, I think I'm quite familiar with that--how shall I put
it?--magnificent bazaar ;-)