Message-ID: <39394BA4.32027661@softhome.net> Date: Sat, 03 Jun 2000 21:17:08 +0300 From: Laurynas Biveinis X-Mailer: Mozilla 4.72 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 To: djgpp-workers AT delorie DOT com, "Mark E." Subject: Re: Testers wanted: a fix for GCC header problem References: <3938EF60 DOT 17217 DOT 8F94C AT localhost> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Reply-To: djgpp-workers AT delorie DOT com "Mark E." wrote: > > > It allows to specify wanted header files in configure script indvidually > > for each platform and providing current list of header files as a default. > > Thanks for working on this, but the gcc maintainers are on record as strongly > disliking changes to USER_H. I have no problem with your idea, but the > maintainers surely will. > > Mark Sorry for too guick and hot-tempered reply. Later I looked at that 'FreeBSD-4.0' discussion and understood that getting such a patch in would be, uhm, a little bit tricky. Also I saw hundred times simpler way to do what I've done with that patch (I just could add USER_H redefinition in t-djgpp. Oh well.) Looks like the only solution is to conditionally #include in gcc headers and then do just like in our headers - a solution suggested by Eli weeks ago. Laurynas