1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/gcc.c b/gcc/gcc.c
index ec35ed0..c31dafc 100644
--- a/gcc/gcc.c
+++ b/gcc/gcc.c
@@ -3330,6 +3330,11 @@ driver_handle_option (struct gcc_options *opts,
       save_switch (concat ("-L", arg, NULL), 0, NULL, validated);
       return true;
 
+    case OPT_F:
+      /* Likewise -F.  */
+      save_switch (concat ("-F", arg, NULL), 0, NULL, validated);
+      return true;
+
     case OPT_save_temps:
       save_temps_flag = SAVE_TEMPS_CWD;
       validated = true;