From:	"Mark E." <snowball3 AT bigfoot DOT com>
To:	djgpp-workers AT delorie DOT com
Date:	Sun, 3 Dec 2000 16:55:14 -0500
MIME-Version:	1.0
Subject:	Re: Patch: make GCC & DJGPP headers compatible
Message-ID:	<3A2A7AF2.3063.1A4BB1F@localhost>
In-reply-to:	<3A2A4FD7.FD144615@softhome.net>
X-mailer:	Pegasus Mail for Win32 (v3.12c)
Reply-To:	djgpp-workers AT delorie DOT com
Errors-To:	nobody AT delorie DOT com
X-Mailing-List:	djgpp-workers AT delorie DOT com
X-Unsubscribes-To:	listserv AT delorie DOT com

> Eli Zaretskii wrote:
> However, if I'm the only one who cares, and the others feel comfortable
> with this change, feel free to disregard me and commit the changes.

Fixincludes really shouldn't be considered a solution, but a warning of a 
problem to be fixed. Especially since DJGPP's headers can easily be changed. 
Making DJGPP's headers compatible with the ones provided by GCC is a good 
thing in my opinion. So FWIW, I think the patch is fine, but my name isn't DJ 
either.

Mark

- Raw text -