diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2017-07-17 16:31:06 +0200 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2017-07-17 16:31:06 +0200 |
commit | 02c8ec244390aea87c0ba0fe2e1262df240a7190 (patch) | |
tree | 970936ee33492b9a9cae7afab081da7b63ac6b96 | |
parent | 5f82af99c83a7ef54389f9b36339383722973429 (diff) |
Avoid a warning by pbuilder
-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 |