diff options
Diffstat (limited to 'bin')
| -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 |