From fbfaa1017261c5dcb073597254800c76d39fd5d0 Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Mon, 7 Apr 2014 16:54:30 +0100
Subject: Clean pbuilder's apt cache

Don't want to let it fill up, disk space can be scarce on workers.
---
 jenkinstool | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/jenkinstool b/jenkinstool
index 210cfba..4311eb6 100755
--- a/jenkinstool
+++ b/jenkinstool
@@ -346,6 +346,7 @@ setup_pbuilder()
             opts="--update --override-config"
         else
             echo "$basetgz is pretty new, keeping it"
+            sudo pbuilder --clean
             return
         fi
     else
@@ -363,6 +364,7 @@ setup_pbuilder()
             --mirror "%(global.debian-mirror)s"  \
             --othermirror \
                 "deb %(global.artifacts-url)s/debian $dist main | deb http://code.liw.fi/debian ${dist} main"
+        sudo pbuilder --clean
     else
         sudo pbuilder $opts \
             --basetgz "$basetgz" \
@@ -370,6 +372,7 @@ setup_pbuilder()
             --mirror "%(global.debian-mirror)s"  \
             --othermirror \
                 "deb %(global.artifacts-url)s/debian $dist main | deb %(global.artifacts-url)s/debian ${dist}-ci main"
+        sudo pbuilder --clean
     fi
 }
 
-- 
cgit v1.2.1