diff options
Diffstat (limited to 'Makefile.def')
| -rw-r--r-- | Makefile.def | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/Makefile.def b/Makefile.def index 9c425963f5..22bdec0fd9 100644 --- a/Makefile.def +++ b/Makefile.def @@ -222,12 +222,19 @@ bootstrap_stage = { extra_make_flags='CFLAGS="$(STAGE1_CFLAGS)"' ; }; bootstrap_stage = { id=2 ; prev=1 ; next=3 ; + bootstrap_target=new-bootstrap2 ; extra_configure_flags="@stage2_werror_flag@" ; extra_make_flags="$(POSTSTAGE1_FLAGS_TO_PASS)" ; }; bootstrap_stage = { - id=3 ; prev=2 ; + id=3 ; prev=2 ; next=4 ; compare_target=compare ; - bootstrap_target=new-bootstrap ; - cleanstrap_target=new-cleanstrap ; + bootstrap_target=bootstrap ; + cleanstrap_target=cleanstrap ; + extra_configure_flags="@stage2_werror_flag@" ; + extra_make_flags="$(POSTSTAGE1_FLAGS_TO_PASS)" ; }; +bootstrap_stage = { + id=4 ; prev=3 ; + compare_target=compare3 ; + bootstrap_target=bootstrap4 ; extra_configure_flags="@stage2_werror_flag@" ; extra_make_flags="$(POSTSTAGE1_FLAGS_TO_PASS)" ; }; |