2 files changed, 10 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 92d69c6b..294ad13 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2011-02-12  Iain Sandoe  <iains@gcc.gnu.org>
+
+	* gcc.c (driver_handle_option): Concatenate the argument to -F with
+	the switch.
+
 2011-02-11  Joseph Myers  <joseph@codesourcery.com>
 
 	* common.opt (nostartfiles): New Driver option.
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;