diff options
| author | Glenn Morris <rgm@gnu.org> | 2011-05-04 20:30:03 -0700 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2011-05-04 20:30:03 -0700 |
| commit | 773233f8c325184da4305fc00645e061d481f182 (patch) | |
| tree | c1d7eef1b30b6650051c909620647fdbb0f7968f /Makefile.in | |
| parent | 9c1d5ac586dbdaa42311019a4ed076d17288233a (diff) | |
| download | emacs-773233f8c325184da4305fc00645e061d481f182.tar.gz | |
Stop bootstrap clobbering config.log (bug#765)
* Makefile.in (bootstrap-clean): Save config.log.
(top_distclean): Delete config.log~.
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index e5828b35199..4848d737a9a 100644 --- a/Makefile.in +++ b/Makefile.in @@ -798,7 +798,7 @@ top_bootclean=\ ### distribution. top_distclean=\ ${top_bootclean}; \ - rm -f config.status Makefile stamp-h1 ${SUBDIR_MAKEFILES} + rm -f config.status config.log~ Makefile stamp-h1 ${SUBDIR_MAKEFILES} distclean: FRC (cd src; $(MAKE) $(MFLAGS) distclean) (cd oldXMenu; $(MAKE) $(MFLAGS) distclean) @@ -828,7 +828,10 @@ bootstrap-clean: FRC -(cd doc/lispintro && $(MAKE) $(MFLAGS) maintainer-clean) (cd leim; $(MAKE) $(MFLAGS) maintainer-clean) (cd lisp; $(MAKE) $(MFLAGS) bootstrap-clean) + [ ! -e config.log ] || mv -f config.log config.log~ ${top_bootclean} +## configure; make bootstrap replaces the real config.log from configure +## with the truncated one from config.status. The former is more useful. ### `maintainer-clean' ### Delete everything from the current directory that can be @@ -927,6 +930,8 @@ dvi: .PHONY: bootstrap +## configure; make boostrap replaces the real config.log from configure +## with the truncated one from config.status. The former is more useful. bootstrap: bootstrap-clean FRC if [ -x ./config.status ]; then \ ./config.status; \ |