From: Mike Stump Date: Thu, 20 Jul 2000 17:16:17 -0700 (PDT) Message-Id: <200007210016.RAA06898@kankakee.wrs.com> To: dj AT delorie DOT com Subject: Re: GCC headers and DJGPP port Cc: djgpp-workers AT delorie DOT com, gcc AT gcc DOT gnu DOT org Reply-To: djgpp-workers AT delorie DOT com > Date: Thu, 20 Jul 2000 19:51:14 -0400 > From: DJ Delorie > To: mrs AT windriver DOT com > Hence our desire to do the Right Thing yet avoid such disasters for > our users. Actually, about the only way to avoid that, is taking a more active role in gcc, testing snapshots, reporting new problems that crop up, submitting fixes that arise. I don't know that any other solution actually works in theory or practice. :-( In this case, a fixincludes chunk is the standard way to correct this problem (until such time as a new release of the library comes out to solve it).