make ppc64 chroots on pizzetti, II
authorPeter Palfrader <peter@palfrader.org>
Tue, 11 Aug 2015 13:37:59 +0000 (15:37 +0200)
committerPeter Palfrader <peter@palfrader.org>
Tue, 11 Aug 2015 13:37:59 +0000 (15:37 +0200)
modules/schroot/files/setup-all-dchroots

index 1a03692..7e534d4 100755 (executable)
@@ -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