From: Mike Stump <mrs AT windriver DOT com>
Date: Fri, 21 Jul 2000 13:51:59 -0700 (PDT)
Message-Id: <200007212051.NAA08579@kankakee.wrs.com>
To: eliz AT is DOT elta DOT co DOT il
Subject: Re: GCC headers and DJGPP port
Cc: djgpp-workers AT delorie DOT com, gcc AT gcc DOT gnu DOT org,
        martin AT loewis DOT home DOT cs DOT tu-berlin DOT de
Reply-To: djgpp-workers AT delorie DOT com

> Date: Fri, 21 Jul 2000 03:52:39 -0400 (EDT)
> From: Eli Zaretskii <eliz AT delorie DOT com>
> To: mrs AT windriver DOT com

> I cannot look into the include directory of the next compiler
> release: I don't have the CVS tree on my machine, as I'm not one of
> the maintainers of the DJGPP port of GCC; and I don't know enough
> about GCC internals to efficiently look for the information anyway.
> If I could look at the headers instead of asking, I would, believe
> me.

Bear in mind, in the end, the only way to make the port work, or to
test it, will be to download it and try it.  I incorrectly assumed
the state of things, sorry.