make ppc64 chroots on pizzetti, II

diff --git a/modules/schroot/files/setup-all-dchroots b/modules/schroot/files/setup-all-dchroots
index 1a036929bc23af5e500fa8dec1f4b6eaef988e9a..7e534d4719a4098886aa33e1b560686800b27dd6 100755 (executable)
--- a/modules/schroot/files/setup-all-dchroots
+++ b/modules/schroot/files/setup-all-dchroots
@@ -69,7 +69,7 @@ extra=""
 case `hostname` in
     pizzetti)
         archs="ppc64"
-        extra="$extra -m http://debian-ports.org/debian-ports"
+        extra="$extra -m http://ftp.de.debian.org/debian-ports"
         extra="$extra -k /root/debian-ports-archive-2015.gpg"
         ;;
     *)
@@ -114,7 +114,7 @@ do_one() {
             fi
             ;;
         porterbox)
-            if ! chronic setup-dchroot -f -a "$a" "$s"
+            if ! chronic setup-dchroot -f -a "$a" $extra "$s"
             then
                 return 1
             fi