casa-mp-base

--- gcc/c-incpath.c.orig    2012-04-27 11:33:12.000000000 -0700

+++ gcc/c-incpath.c 2012-04-27 11:34:17.000000000 -0700

@@ -164,7 +164,7 @@ add_standard_paths (const char *sysroot,

      char *str;

      /* Should this directory start with the sysroot?  */

-     if (sysroot && p->add_sysroot)

+     if (sysroot && p->add_sysroot && strstr(p->fname, "apple-gcc42") == NULL)

        str = concat (sysroot, p->fname, NULL);

      else

        str = update_path (p->fname, p->component);