https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80204 --- Comment #3 from simon at pushface dot org --- Created attachment 42077 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42077&action=edit Patch to gcc/config/darwin-driver.c