[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