diff options
Diffstat (limited to 'Makefile.def')
| -rw-r--r-- | Makefile.def | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.def b/Makefile.def index 091b869..bba0630 100644 --- a/Makefile.def +++ b/Makefile.def @@ -473,6 +473,7 @@ bootstrap_stage = { stage_configure_flags="@stage2_werror_flag@" ; stage_make_flags='CFLAGS="$(BOOT_CFLAGS) -fprofile-generate"' ; }; bootstrap_stage = { - id=feedback ; prev=1 ; + id=feedback ; prev=profile ; + bootstrap_target=profiledbootstrap ; stage_configure_flags="@stage2_werror_flag@" ; stage_make_flags='CFLAGS="$(BOOT_CFLAGS) -fprofile-use"' ; }; |