builder: templates: Update osinfo for Fedora.

This commit is contained in:
Richard W.M. Jones
2018-05-01 17:16:07 +01:00
parent 7a2cc8ba29
commit 7631be21d7

View File

@@ -870,7 +870,7 @@ and os_variant_of_os ?(for_fedora = false) os arch =
| Fedora _, (PPC64|PPC64le) -> "fedora22"
| Fedora ver, _ when ver <= 23 ->
sprintf "fedora%d" ver
| Fedora _, _ -> "fedora23" (* max version known in Fedora 24 *)
| Fedora _, _ -> "fedora26" (* max version known in Fedora 28 *)
| CentOS (major, minor), _ when (major, minor) <= (7,0) ->
sprintf "centos%d.%d" major minor