diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-03-22 11:27:20 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-03-22 11:27:20 +0100 |
commit | a4d179a2ac8a6fb00cf565662bc2547345d8a911 (patch) | |
tree | 59014ffad41c42d7c693ae14f42df7d8bd922171 | |
parent | ea147fe648bad4fc313c6bff814e64233960d33c (diff) | |
download | jenkins.debian.net-a4d179a2ac8a6fb00cf565662bc2547345d8a911.tar.xz |
reproducible: add three new files to delete due to #777537
-rwxr-xr-x | bin/reproducible_maintainance.sh | 4 |
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 |