diff options
| author | Paolo Bonzini <bonzini@gnu.org> | 2007-06-14 08:52:42 +0000 |
|---|---|---|
| committer | Paolo Bonzini <bonzini@gnu.org> | 2007-06-14 08:52:42 +0000 |
| commit | e00a73e3230d0b8a3409ae74cbfffd8edebd7963 (patch) | |
| tree | e6ad23346baac0dcaaff4a310d370522ed99430d /Makefile.tpl | |
| parent | 107eb3fc405825a147b9b3d7a176040b65f1f757 (diff) | |
| download | gdb-e00a73e3230d0b8a3409ae74cbfffd8edebd7963.zip gdb-e00a73e3230d0b8a3409ae74cbfffd8edebd7963.tar.gz gdb-e00a73e3230d0b8a3409ae74cbfffd8edebd7963.tar.bz2 | |
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 958d4cb..6164a41 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 |