summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-03-22 11:27:20 +0100
committerHolger Levsen <holger@layer-acht.org>2015-03-22 11:27:20 +0100
commita4d179a2ac8a6fb00cf565662bc2547345d8a911 (patch)
tree59014ffad41c42d7c693ae14f42df7d8bd922171
parentea147fe648bad4fc313c6bff814e64233960d33c (diff)
downloadjenkins.debian.net-a4d179a2ac8a6fb00cf565662bc2547345d8a911.tar.xz
reproducible: add three new files to delete due to #777537
-rwxr-xr-xbin/reproducible_maintainance.sh4
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/reproducible_maintainance.sh b/bin/reproducible_maintainance.sh
index 3a896aa2..1d4e21c2 100755
--- a/bin/reproducible_maintainance.sh
+++ b/bin/reproducible_maintainance.sh
@@ -61,7 +61,7 @@ fi
# find and warn about pbuild leftovers
OLDSTUFF=$(find /var/cache/pbuilder/result/ -mtime +1 -exec ls -lad {} \;)
if [ ! -z "$OLDSTUFF" ] ; then
- # delete known files
+ # delete known files, see #777537
cd /var/cache/pbuilder/result/
echo "Attempting file detection..."
for i in $(find . -maxdepth 1 -mtime +1 -type f -exec basename {} \;) ; do
@@ -74,6 +74,8 @@ if [ ! -z "$OLDSTUFF" ] ; then
;;
org.daisy.paper.CustomPaperCollection.obj) rm -v $i
;;
+ debian-faq.pdf.gz|debian-faq.ps.gz|debian-faq.txt.gz) rm -v $i
+ ;;
*) ;;
esac
done