Fix a type error in check_ubuntu_version()

sosy-lab · May 24, 2024 · 1cd3324 · 1cd3324
1 parent 9a38fbc
commit 1cd3324
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/benchexec/util.py b/benchexec/util.py
@@ -826,6 +826,9 @@ def check_ubuntu_version():
     Check the Ubuntu version by reading the content of the '/etc/os-release' file.
     """
     content = try_read_file("/etc/os-release")
+    if content is None:
+        return None
+
     lines = content.splitlines()
     name = None
     version_id = None