From 84fc48e57a1008b4c047ff30f3a6101b84130671 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Sun, 21 Apr 2013 22:18:30 -0700 Subject: [PATCH] * Makefile.in (bootstrap-clean): Remove stamp-h1 too. Without this fix, "make distclean" leaves stamp-h1 behind. --- src/ChangeLog | 5 +++++ src/Makefile.in | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/src/ChangeLog b/src/ChangeLog index 5164dc8ff8d..31764cad485 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,8 @@ +2013-04-22 Paul Eggert + + * Makefile.in (bootstrap-clean): Remove stamp-h1 too. + Without this fix, "make distclean" leaves stamp-h1 behind. + 2013-04-20 Erik Charlebois * w32fns.c (w32_fullscreen_rect): New function to compute the 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 ## It should remove all files generated during a compilation/bootstrap, ## but not things like config.status or TAGS. bootstrap-clean: clean - rm -f epaths.h config.h config.stamp stamp-oldxmenu ../etc/DOC-* + rm -f epaths.h config.h config.stamp stamp-h1 stamp-oldxmenu ../etc/DOC-* if test -f ./.gdbinit; then \ mv ./.gdbinit ./.gdbinit.save; \ if test -f "$(srcdir)/.gdbinit"; then rm -f ./.gdbinit.save; \ -- 2.39.2