diff options
| author | Glenn Morris <rgm@gnu.org> | 2019-01-28 15:55:57 -0500 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2019-01-28 15:55:57 -0500 |
| commit | 020f6233721661059990a4239b94cd7b64396f03 (patch) | |
| tree | e84eb5429e8107cd36af85caab06dd780bc67b8c /src/Makefile.in | |
| parent | 0f94d422f16cc989f49ea5c7fc87c947c5f42ced (diff) | |
| download | emacs-020f6233721661059990a4239b94cd7b64396f03.tar.gz | |
* src/Makefile.in (clean): Delete versioned pdmp files.
Else build number increments without limit even in clean builds.
Diffstat (limited to 'src/Makefile.in')
| -rw-r--r-- | src/Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index 5890eac8c63..ee27db0811f 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -690,7 +690,8 @@ mostlyclean: rm -f globals.h gl-stamp rm -f ./*.res ./*.tmp clean: mostlyclean - rm -f emacs-*.*.*[0-9]$(EXEEXT) emacs$(EXEEXT) $(DEPDIR)/* + rm -f emacs-*.*.*[0-9]$(EXEEXT) emacs-*.*.*[0-9].pdmp + rm -f emacs$(EXEEXT) $(DEPDIR)/* ## bootstrap-clean is used to clean up just before a bootstrap. ## It should remove all files generated during a compilation/bootstrap, |