Thank you for the patch! I have committed it, after bootstrapping/testing with mips-sgi-irix6.5, and confirming that it fixes the problem. -- Mark Mitchell mark@codesourcery.com CodeSourcery, LLC http://www.codesourcery.com