🩹 Fix centos detection

eomii · Jul 23, 2022 · 1214a38 · 1214a38
1 parent 7fcf63e
commit 1214a38
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/MODULE.bazel b/MODULE.bazel
@@ -1,6 +1,6 @@
 module(
     name = "rules_ll",
-    version = "20220723.0",
+    version = "20220723.1",
     execution_platforms_to_register = [
         "@rules_ll//ll:ll_linux_exec_platform",
     ],

diff --git a/README.rst b/README.rst
@@ -74,7 +74,7 @@ workspace:
 
    touch WORKSPACE.bazel .bazelrc
    echo cbb4eb1973a7fb49d15ced3fea6498f714f3ab0c > .bazelversion
-   echo 'bazel_dep(name="rules_ll", version="20220723.0")' > MODULE.bazel
+   echo 'bazel_dep(name="rules_ll", version="20220723.1")' > MODULE.bazel
 
 Copy the following lines into the just created ``.bazelrc`` file:
 

diff --git a/examples/MODULE.bazel b/examples/MODULE.bazel
@@ -1,4 +1,4 @@
-bazel_dep(name="rules_ll", version="20220723.0")
+bazel_dep(name="rules_ll", version="20220723.1")
 local_path_override(module_name = "rules_ll", path = "..")
 
 # local_path_override(module_name = "hipsycl", path="/mnt/hipSYCL")
diff --git a/ll/os.bzl b/ll/os.bzl
@@ -21,7 +21,7 @@ def _os_id(repository_ctx):
     os_id = None
     for line in repository_ctx.read("/etc/os-release").splitlines():
         if line.startswith("ID="):
-            os_id = line.split("=")[-1]
+            os_id = line.split("=")[-1].replace('"', "")
 
     if os_id == None:
         fail("Could not read ID from /etc/os-release.")