Date: Tue, 25 Jul 2000 10:07:19 +0300 (IDT) From: Eli Zaretskii X-Sender: eliz AT is To: djgpp-workers AT delorie DOT com Subject: Re: GCC headers and DJGPP port Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Reply-To: djgpp-workers AT delorie DOT com I don't think we will get anywhere in this matter. I have just been told (in a private mail) that I've generated too much email already, and that, simply put, I should shut up and crawl back into the hole from which I emerged. (It's possible that I'm responsible for some of this; if so, I'm sorry. It's about the second time in my life when I get to such an impasse being unable to get through to somebody, to the degree that I'm beginning to question my own ability to talk to people without immediately alienating them.) Anyway, as I see it, we have one more chance to get this done as we think it should: we could submit patches to the configury to do what we want, i.e. to use system headers at build time and not to install GCC's headers (except stdarg.h and varargs.h) at "make install" time. But there's a chance that these patches will be rejected without any serious consideration, so if someone wants to try this, I suggest to be prepared for disappointment. On the other hand, I might be too involved in this to have a clear view of the situation, so feel free to disregard these remarks.