From 16f3769117b815c5317c676ee210b783383ac4d9 Mon Sep 17 00:00:00 2001 From: Kevin Fenzi Date: Fri, 31 Jan 2014 18:32:58 +0000 Subject: [PATCH] Add armpkgs to hosts for arm builders. --- files/hosts/arm.fedoraproject.org-hosts | 1 + 1 file changed, 1 insertion(+) diff --git a/files/hosts/arm.fedoraproject.org-hosts b/files/hosts/arm.fedoraproject.org-hosts index 7970c8d6b0..4ee48472bb 100644 --- a/files/hosts/arm.fedoraproject.org-hosts +++ b/files/hosts/arm.fedoraproject.org-hosts @@ -4,6 +4,7 @@ 10.5.125.36 kojipkgs.fedoraproject.org 10.5.126.23 infrastructure.fedoraproject.org 10.5.124.138 arm.koji.fedoraproject.org +10.5.124.138 armpkgs.fedoraproject.org 10.5.125.44 pkgs.fedoraproject.org pkgs # # This is proxy01.phx2.fedoraproject.org