builder: templates: aarch64 is now a primary architecture, fix location.

This commit is contained in:
Richard W.M. Jones
2018-05-01 17:15:32 +01:00
parent c6e8929929
commit 7a2cc8ba29

View File

@@ -643,13 +643,13 @@ and make_boot_media os arch =
| Fedora ver, X86_64 ->
Location (sprintf "http://mirror.bytemark.co.uk/fedora/linux/releases/%d/Server/x86_64/os/" ver)
| Fedora ver, Aarch64 ->
Location (sprintf "http://mirror.bytemark.co.uk/fedora/linux/releases/%d/Server/aarch64/os/" ver)
(* Fedora secondary architectures.
* By using dl.fedoraproject.org we avoid randomly using mirrors
* which might have incomplete copies.
*)
| Fedora ver, Aarch64 ->
Location (sprintf "https://dl.fedoraproject.org/pub/fedora-secondary/releases/%d/Server/aarch64/os/" ver)
| Fedora ver, I686 ->
Location (sprintf "https://dl.fedoraproject.org/pub/fedora-secondary/releases/%d/Server/i386/os/" ver)