diff options
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 ee4e771dc9a..d12f8dbe130 100644 --- a/src/Makefile.in +++ b/src/Makefile.in | |||
| @@ -550,7 +550,7 @@ clean: mostlyclean | |||
| 550 | ## It should remove all files generated during a compilation/bootstrap, | 550 | ## It should remove all files generated during a compilation/bootstrap, |
| 551 | ## but not things like config.status or TAGS. | 551 | ## but not things like config.status or TAGS. |
| 552 | bootstrap-clean: clean | 552 | bootstrap-clean: clean |
| 553 | rm -f epaths.h config.h config.stamp stamp-oldxmenu ../etc/DOC-* | 553 | rm -f epaths.h config.h config.stamp stamp-h1 stamp-oldxmenu ../etc/DOC-* |
| 554 | if test -f ./.gdbinit; then \ | 554 | if test -f ./.gdbinit; then \ |
| 555 | mv ./.gdbinit ./.gdbinit.save; \ | 555 | mv ./.gdbinit ./.gdbinit.save; \ |
| 556 | if test -f "$(srcdir)/.gdbinit"; then rm -f ./.gdbinit.save; \ | 556 | if test -f "$(srcdir)/.gdbinit"; then rm -f ./.gdbinit.save; \ |