inspection: Parse os-release "opensuse-leap" as opensuse (RHBZ#1634248).

This commit is contained in:
Richard W.M. Jones
2018-10-01 09:51:15 +01:00
parent 4ff573c352
commit 70407cd622

View File

@@ -143,7 +143,7 @@ and distro_of_os_release_id = function
| "kali" -> Some DISTRO_KALI_LINUX
| "mageia" -> Some DISTRO_MAGEIA
| "neokylin" -> Some DISTRO_NEOKYLIN
| "opensuse" -> Some DISTRO_OPENSUSE
| "opensuse" | "opensuse-leap" -> Some DISTRO_OPENSUSE
| "pld" -> Some DISTRO_PLD_LINUX
| "rhel" -> Some DISTRO_RHEL
| "sles" | "sled" -> Some DISTRO_SLES