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>
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

- Raw text -