diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2019-08-03 14:12:29 -0700 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2019-08-03 14:13:45 -0700 |
| commit | da03988dd41e08060670d16b0e1db3ee4118d713 (patch) | |
| tree | 7cc258c9f4dcaa9ca399bd1412e6e7de5c6fa5c8 /admin | |
| parent | 7bb269ea2592e589bd39bf3c3eb546f01ab97c2a (diff) | |
| download | emacs-da03988dd41e08060670d16b0e1db3ee4118d713.tar.gz | |
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") shift @ARGV; } -system ("$make clean versionclean") if $all; +system ("$make clean") if $all; if ($wall) { |