diff options
-rwxr-xr-x | backport | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -129,13 +129,15 @@ else if [ "$skip" = false ] then sudo -E pbuilder update \ + --override-config \ --distribution $DIST \ --basetgz /var/cache/pbuilder/$DIST-$ARCH-base.tgz \ --aptcache /var/cache/pbuilder/$DIST-$ARCH/aptcache fi sudo -E pdebuild --debbuildopts '-sa' \ --buildresult $rcrandir/$DIST-cran34/ \ - -- --distribution $DIST --basetgz /var/cache/pbuilder/$DIST-$ARCH-base.tgz \ + -- --override-config \ + --distribution $DIST --basetgz /var/cache/pbuilder/$DIST-$ARCH-base.tgz \ --aptcache /var/cache/pbuilder/$DIST-$ARCH/aptcache \ --buildplace /var/cache/pbuilder/$DIST-$ARCH/build if [ $? -ne 0 ]; then |