diff options
author | Joey Hess <joey@kodama.kitenet.net> | 2008-04-22 17:54:47 -0400 |
---|---|---|
committer | Joey Hess <joey@kodama.kitenet.net> | 2008-04-22 17:54:47 -0400 |
commit | c41c158bc3fd2324f9969190fe64e350312e67a8 (patch) | |
tree | 576769d0fe31c063ea58dc307faf1c10c912d8c6 /dh_clean | |
parent | aa47c934c56347cf5d0ac647429dff5a753686e7 (diff) |
dh_clean: Don't delete core dumps. (Too DWIM, and "core" is not necessarily a core dump.) Closes: #477391
Diffstat (limited to 'dh_clean')
-rwxr-xr-x | dh_clean | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -20,7 +20,7 @@ package is built. It removes the package build directories, and removes some other files including debian/files, and any detritus left behind by other debhelper commands. It also removes common files that should not appear in a debian diff: - #*# *~ DEADJOE *.orig *.rej *.SUMS TAGS core .deps/* *.P + #*# *~ DEADJOE *.orig *.rej *.SUMS TAGS .deps/* *.P =head1 OPTIONS @@ -95,7 +95,7 @@ if (! $dh{D_FLAG}) { \\( -name '#*#' -o -name '.*~' -o -name '*~' -o -name DEADJOE \\ -o -name '*.orig' -o -name '*.rej' -o -name '*.bak' \\ -o -name '.*.orig' -o -name .*.rej -o -name '.SUMS' \\ - -o -name TAGS -o -name core -o \\( -path '*/.deps/*' -a -name '*.P' \\) \\ + -o -name TAGS -o \\( -path '*/.deps/*' -a -name '*.P' \\) \\ \\) -exec rm -f {} \\; \\) -o \\ \\( -type d -a -name autom4te.cache -prune -exec rm -rf {} \\; \\) \\)"); } |