From da03988dd41e08060670d16b0e1db3ee4118d713 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Sat, 3 Aug 2019 14:12:29 -0700 Subject: =?UTF-8?q?Remove=20stale=20.pdmp=20files=20with=20=E2=80=98make?= =?UTF-8?q?=20clean=E2=80=99?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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. --- admin/make-emacs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'admin/make-emacs') 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) { -- cgit v1.2.1