summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2017-07-17 16:31:06 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2017-07-17 16:31:06 +0200
commit02c8ec244390aea87c0ba0fe2e1262df240a7190 (patch)
tree970936ee33492b9a9cae7afab081da7b63ac6b96
parent5f82af99c83a7ef54389f9b36339383722973429 (diff)
Avoid a warning by pbuilder
-rwxr-xr-xbackport4
1 files changed, 3 insertions, 1 deletions
diff --git a/backport b/backport
index 1226900..0796fe4 100755
--- a/backport
+++ b/backport
@@ -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

Contact - Imprint