diff options
| author | Paolo Bonzini <bonzini@gnu.org> | 2004-08-30 08:02:34 +0000 |
|---|---|---|
| committer | Paolo Bonzini <bonzini@gnu.org> | 2004-08-30 08:02:34 +0000 |
| commit | 6756e4847ea122c168636d98b4140dc43c3cd80d (patch) | |
| tree | 9ce7fd6fd94fdc65bcbf337852b6d557c2381718 /Makefile.def | |
| parent | 584b6de3ab156903fd13229538e9fff8ce2a5857 (diff) | |
2004-08-26 Paolo Bonzini <bonzini@gnu.org>
* Makefile.def (bootstrap stages): Add 'lean' parameter.
* Makefile.tpl (configure-stageN-*, all-stageN-*): Turned into
phony targets; do not generate timestamp files.
(distclean-stageN): Remove references to their timestamp files.
(restageN, touch-stageN): Remove.
(stageN-bubble): Rewritten.
(compare): Support lean bootstraps.
* Makefile.in: Regenerate.
* configure.in: Only warn when bootstrapping but
build != host or build != target. Support lean bootstraps.
* configure: Regenerate.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@86754 138bc75d-0d04-0410-961f-82ee72b054a4
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 c9de58b7188..0c8c9a1ce83 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@" ; |