On Tue, 2006-08-29 at 22:55 +0200, Rask Ingemann Lambertsen wrote: > On Tue, Aug 29, 2006 at 06:23:52PM +0100, Alex Bennee wrote: > > > However I'm under the > > impression gcc shouldn't be generating any x87 code unless explicitly > > enabled. > > There's an undocumented option -mno-80387 (at least in GCC 4.2). Cool - that has indeed fixed the problem with our gcc 4.1 build. Thanks :-) -- Alex, homepage: http://www.bennee.com/~alex/ The world is coming to an end ... SAVE YOUR BUFFERS!!!