diff options
-rwxr-xr-x | jenkinstool | 3 |
1 files changed, 3 insertions, 0 deletions
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 } |