diff options
| author | bonzini <bonzini@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-08-30 08:02:34 +0000 |
|---|---|---|
| committer | bonzini <bonzini@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-08-30 08:02:34 +0000 |
| commit | 3c7825844aa985429774a0d9e0f4d10bece86b79 (patch) | |
| tree | 9ce7fd6fd94fdc65bcbf337852b6d557c2381718 /Makefile.def | |
| parent | 089492e0cfd5af3c52bbe7c9bea30ffe6d52405e (diff) | |
| download | gcc-3c7825844aa985429774a0d9e0f4d10bece86b79.tar.gz | |
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: svn+ssh://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@" ; |