Message-ID: <39392230.580DA016@softhome.net>
Date: Sat, 03 Jun 2000 18:20:16 +0300
From: Laurynas Biveinis <lauras AT softhome DOT net>
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." <snowball3 AT bigfoot DOT com>
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.

They didn't like your change about float.h at first neither, but later they
have changed their mind when they saw that it is reasonable solution. I have 
asked them about what is the best solution for this problem. If they will 
come up with something else, I'll try to implement that. If not - I will send
this.

Laurynas