From 27b3b2cf7d677008d93fb7d1198a0871e08e2599 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Wed, 22 Jun 2016 12:41:57 +0100 Subject: [PATCH] builder: Use a different mirror when building armv7l image. --- builder/website/fedora-armv7l.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/builder/website/fedora-armv7l.sh b/builder/website/fedora-armv7l.sh index ece95c36c..ffc682faf 100755 --- a/builder/website/fedora-armv7l.sh +++ b/builder/website/fedora-armv7l.sh @@ -29,7 +29,7 @@ if [ $# -ne 1 ]; then fi version=$1 -tree=http://mirror.ox.ac.uk/sites/download.fedora.redhat.com/pub/fedora/linux/releases/$version/Server/armhfp/os/ +tree=http://mirror.bytemark.co.uk/fedora/linux/releases/$version/Server/armhfp/os/ output=fedora-$version-armv7l tmpname=tmp-$(tr -cd 'a-f0-9' < /dev/urandom | head -c 8)