From cc717114d67d15b35405f33bce2b759815fe14eb Mon Sep 17 00:00:00 2001 From: Benjamin Drung Date: Wed, 12 Feb 2014 10:25:30 +0100 Subject: [PATCH] The archive for feature branches is called dev-wheezy instead of pb-wheezy. --- .pbuilderrc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.pbuilderrc b/.pbuilderrc index 6b977bc..d992ef8 100644 --- a/.pbuilderrc +++ b/.pbuilderrc @@ -79,10 +79,10 @@ if [ "$DIST" == "wheezy" ] ; then BASETGZ="/var/cache/pbuilder/$NAME-experimental-wheezy-base.tgz" BASEPATH="/var/cache/pbuilder/$NAME-experimental-wheezy-base.cow" OTHERMIRROR="$OTHERMIRROR deb http://alexandria.pb.local/pb-$DIST pre-staging main contrib non-free |" - if wget -q --spider "http://alexandria.pb.local/pb-$DIST/dists/$PB_SUITE/Release"; then + if wget -q --spider "http://alexandria.pb.local/dev-$DIST/dists/$PB_SUITE/Release"; then # Only add the wheezy-dev-* repository if it already exist # It will not exist for the first package that targets this repository. - OTHERMIRROR="$OTHERMIRROR deb http://alexandria.pb.local/pb-$DIST $PB_SUITE main contrib non-free |" + OTHERMIRROR="$OTHERMIRROR deb http://alexandria.pb.local/dev-$DIST $PB_SUITE main contrib non-free |" fi fi else -- 2.39.5