diff options
Diffstat (limited to 'Makefile.def')
| -rw-r--r-- | Makefile.def | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.def b/Makefile.def index c9de58b71..0c8c9a1ce 100644 --- a/Makefile.def +++ b/Makefile.def @@ -445,14 +445,14 @@ bootstrap_stage = { stage_configure_flags="@stage2_werror_flag@" ; stage_make_flags="" ; }; bootstrap_stage = { - id=3 ; prev=2 ; + id=3 ; prev=2 ; lean=1 ; compare_target=compare ; bootstrap_target=bootstrap ; cleanstrap_target=cleanstrap ; stage_configure_flags="@stage2_werror_flag@" ; stage_make_flags="" ; }; bootstrap_stage = { - id=4 ; prev=3 ; + id=4 ; prev=3 ; lean=2 ; compare_target=compare3 ; bootstrap_target=bootstrap4 ; stage_configure_flags="@stage2_werror_flag@" ; |