>>>>> "Geoff" == Geoff Keating <geoffk@cygnus.com> writes:
Geoff> Aah. Yes, probably you were getting old header files.
Perhaps. I'll shout if it happens again.
Thanks for thinking about it.
--
Mark Mitchell mark@codesourcery.com
CodeSourcery, LLC http://www.codesourcery.com