Support Pop!_OS 20.04 (#62)

Pop!_OS is a derivative of Ubuntu, so behaves similarly. Also, fix undefined name.
bazel-contrib · Oct 9, 2020 · 9b0bae6 · 9b0bae6
1 parent e3de4f3
commit 9b0bae6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/toolchain/tools/llvm_release_name.py b/toolchain/tools/llvm_release_name.py
@@ -57,7 +57,7 @@ def _linux(llvm_version):
 
     if distname not in _known_distros:
         for distro in info["ID_LIKE"].strip('\"').split(' '):
-            if distro in known_distros:
+            if distro in _known_distros:
                 distname = distro
                 break
 
@@ -83,7 +83,7 @@ def _linux(llvm_version):
         os_name = "linux-gnu-ubuntu-18.04"
     elif (distname == "ubuntu" and version.startswith("18.04")) or (distname == "linuxmint" and version.startswith("19")):
         os_name = "linux-gnu-ubuntu-18.04"
-    elif (distname == "ubuntu" and version.startswith("20")):
+    elif (distname == "ubuntu" and version.startswith("20")) or (distname == "pop" and version.startswith("20")):
         # use ubuntu 18.04 clang LLVM release for ubuntu 20.04
         os_name = "linux-gnu-ubuntu-18.04"
     elif distname in ["arch", "ubuntu", "manjaro"] or (distname == "linuxmint" and version.startswith("18")):