Date: Mon, 12 Aug 1996 08:15:28 +0200 (IST) From: Eli Zaretskii To: Serge Golovin Cc: djgpp-workers AT delorie DOT com Subject: Re: precompiled headers In-Reply-To: <199608111751.VAA13645@marstu.mari.su> Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII On Sun, 11 Aug 1996, Serge Golovin wrote: > OK. But why? It is free and may be freely modified by anyone. Of course it's free and you can do anything you like with it--if you have time to spare and nothing better to do. However, if your time is limited, I'd suggest first to measure or at least estimate how much time does gcc spend in compiling the headers as opposed to compiling the rest of the source. It just might be that the headers in gcc are structured in such a way that you will see a negligible effect. Even the C++ libraries rarely have header files that are more than 3KB-long in DJGPP. > Well.. if I do that will it be submitted or I have no chance? *You* should submit them. If the benefits are significant, the GCC maintainers will include your changes.