diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2007-06-14 08:52:42 +0000 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2007-06-14 08:52:42 +0000 |
| commit | 28826d8fb1a9c6d4179f1b1e8fc5e78f5956d26a (patch) | |
| tree | 35cfb7e851399de049cbc5e18e8e56cee1ab9c6a /Makefile.tpl | |
| parent | e8b9fee01f555d8271387aa793a48ad7d7ae55fb (diff) | |
| download | cygnal-28826d8fb1a9c6d4179f1b1e8fc5e78f5956d26a.tar.gz cygnal-28826d8fb1a9c6d4179f1b1e8fc5e78f5956d26a.tar.bz2 cygnal-28826d8fb1a9c6d4179f1b1e8fc5e78f5956d26a.zip | |
2007-06-14 Paolo Bonzini <bonzini@gnu.org>
* Makefile.tpl (cleanstrap): Don't delete the toplevel Makefile.
(distclean-stage[+id+]): Possibly delete stage_last.
* Makefile.in: Regenerate.
Diffstat (limited to 'Makefile.tpl')
| -rw-r--r-- | Makefile.tpl | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/Makefile.tpl b/Makefile.tpl index 958d4cb6e..6164a4164 100644 --- a/Makefile.tpl +++ b/Makefile.tpl @@ -1361,12 +1361,21 @@ do-clean: clean-stage[+id+] .PHONY: distclean-stage[+id+] distclean-stage[+id+]:: @: $(MAKE); $(stage) + @test "`cat stage_last`" != stage[+id+] || rm -f stage_last rm -rf stage[+id+]-* [+ IF compare-target +][+compare-target+] [+ ENDIF compare-target +] [+ IF cleanstrap-target +] .PHONY: [+cleanstrap-target+] -[+cleanstrap-target+]: distclean [+bootstrap-target+] +[+cleanstrap-target+]: do-distclean local-clean + echo stage[+id+] > stage_final + @r=`${PWD_COMMAND}`; export r; \ + s=`cd $(srcdir); ${PWD_COMMAND}`; export s; \ + $(MAKE) $(RECURSE_FLAGS_TO_PASS) stage[+id+]-bubble + @: $(MAKE); $(unstage) + @r=`${PWD_COMMAND}`; export r; \ + s=`cd $(srcdir); ${PWD_COMMAND}`; export s; \ + $(MAKE) $(TARGET_FLAGS_TO_PASS) all-host all-target [+ ENDIF cleanstrap-target +] @endif gcc-bootstrap |