Merge pull request #3919 from diffblue/goto-cc-arch

tautschnig · web-flow · commit ed099bb07257 · 2019-01-24T18:02:09.000Z
goto-cc: recognize Apple-extension -arch
diff --git a/src/goto-cc/gcc_cmdline.cpp b/src/goto-cc/gcc_cmdline.cpp
@@ -79,6 +79,7 @@ const char *gcc_options_with_argument[]=
 const char *gcc_options_with_separated_argument[]=
 {
   "-aux-info",
+  "-arch", // Apple only
   "--param", // Apple only
   "-imacros",
   "-iprefix",

Original file line number	Diff line number	Diff line change
`@@ -79,6 +79,7 @@ const char *gcc_options_with_argument[]=`
`79`	`79`	`const char *gcc_options_with_separated_argument[]=`
`80`	`80`	`{`
`81`	`81`	`"-aux-info",`
	`82`	`+ "-arch", // Apple only`
`82`	`83`	`"--param", // Apple only`
`83`	`84`	`"-imacros",`
`84`	`85`	`"-iprefix",`