diff options
| author | Paul Eggert | 2013-04-21 22:18:30 -0700 |
|---|---|---|
| committer | Paul Eggert | 2013-04-21 22:18:30 -0700 |
| commit | 84fc48e57a1008b4c047ff30f3a6101b84130671 (patch) | |
| tree | d5f1b7798a291247aa3567e911d777eca10aac0c /src/Makefile.in | |
| parent | 1e8589d3d40eaf44c352e2989c2244d94de88405 (diff) | |
| download | emacs-84fc48e57a1008b4c047ff30f3a6101b84130671.tar.gz emacs-84fc48e57a1008b4c047ff30f3a6101b84130671.zip | |
* Makefile.in (bootstrap-clean): Remove stamp-h1 too.
Without this fix, "make distclean" leaves stamp-h1 behind.
Diffstat (limited to 'src/Makefile.in')
| -rw-r--r-- | src/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index c6a067a1ade..cef58c55e68 100644 --- a/src/Makefile.in +++ b/src/Makefile.in | |||
| @@ -532,7 +532,7 @@ clean: mostlyclean | |||
| 532 | ## It should remove all files generated during a compilation/bootstrap, | 532 | ## It should remove all files generated during a compilation/bootstrap, |
| 533 | ## but not things like config.status or TAGS. | 533 | ## but not things like config.status or TAGS. |
| 534 | bootstrap-clean: clean | 534 | bootstrap-clean: clean |
| 535 | rm -f epaths.h config.h config.stamp stamp-oldxmenu ../etc/DOC-* | 535 | rm -f epaths.h config.h config.stamp stamp-h1 stamp-oldxmenu ../etc/DOC-* |
| 536 | if test -f ./.gdbinit; then \ | 536 | if test -f ./.gdbinit; then \ |
| 537 | mv ./.gdbinit ./.gdbinit.save; \ | 537 | mv ./.gdbinit ./.gdbinit.save; \ |
| 538 | if test -f "$(srcdir)/.gdbinit"; then rm -f ./.gdbinit.save; \ | 538 | if test -f "$(srcdir)/.gdbinit"; then rm -f ./.gdbinit.save; \ |