diff options
| author | Paolo Bonzini <bonzini@gnu.org> | 2004-08-30 08:02:34 +0000 |
|---|---|---|
| committer | Paolo Bonzini <bonzini@gcc.gnu.org> | 2004-08-30 08:02:34 +0000 |
| commit | ce521a9c85bfb120a9904293897a256e83477eca (patch) | |
| tree | 9ce7fd6fd94fdc65bcbf337852b6d557c2381718 /Makefile.def | |
| parent | afa396ff844ccc8a377adf637307535ca60a1abe (diff) | |
| download | gcc-ce521a9c85bfb120a9904293897a256e83477eca.tar.gz | |
Makefile.def (bootstrap stages): Add 'lean' parameter.
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.
From-SVN: r86754
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@" ; |