diff options
| author | Paul Eggert | 2019-08-03 14:12:29 -0700 |
|---|---|---|
| committer | Paul Eggert | 2019-08-03 14:13:45 -0700 |
| commit | da03988dd41e08060670d16b0e1db3ee4118d713 (patch) | |
| tree | 7cc258c9f4dcaa9ca399bd1412e6e7de5c6fa5c8 /admin | |
| parent | 7bb269ea2592e589bd39bf3c3eb546f01ab97c2a (diff) | |
| download | emacs-da03988dd41e08060670d16b0e1db3ee4118d713.tar.gz emacs-da03988dd41e08060670d16b0e1db3ee4118d713.zip | |
Remove stale .pdmp files with ‘make clean’
Problem reported by Sven Joachim (Bug#36907).
* admin/make-emacs: Simplify, now that clean does versionclean.
* src/Makefile.in ($(etc)/DOC, versionclean, extraclean):
Don’t ignore rm -f failures.
(versionclean): Also remove emacs-*.*.*[0-9].pdmp and ../etc/DOC*.
(clean): Depend on versionclean and simplify.
Diffstat (limited to 'admin')
| -rwxr-xr-x | admin/make-emacs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/admin/make-emacs b/admin/make-emacs index b7cca06e1c6..e1be944e4cb 100755 --- a/admin/make-emacs +++ b/admin/make-emacs | |||
| @@ -109,7 +109,7 @@ if (@ARGV && $ARGV[0] eq "all") | |||
| 109 | shift @ARGV; | 109 | shift @ARGV; |
| 110 | } | 110 | } |
| 111 | 111 | ||
| 112 | system ("$make clean versionclean") if $all; | 112 | system ("$make clean") if $all; |
| 113 | 113 | ||
| 114 | if ($wall) | 114 | if ($wall) |
| 115 | { | 115 | { |