[PATCH] BOOT_CFLAGS vs profiled_bootstrap on the mainline

[Paolo Bonzini]

Andrew Pinski wrote:
> Trying to see if a bug was fixed (and an approved patch by me was still 
> needed), I
> noticed that BOOT_CFLAGS was being ignored for profiled_bootstrap.

BOOT_CFLAGS was being ignored, period. :-)

Can you try this (and maybe commit it as obvious)?

Index: Makefile.def
===================================================================
--- Makefile.def        (revision 108650)
+++ Makefile.def        (working copy)
@@ -207,4 +207,5 @@ flags_to_pass = { flag= YACC ; };
  // Host tools
  flags_to_pass = { flag= AR_FLAGS ; };
+flags_to_pass = { flag= BOOT_CFLAGS ; };
  flags_to_pass = { flag= CFLAGS ; };
  flags_to_pass = { flag= CXXFLAGS ; };

Paolo