interfaces: Fix ServiceManager race condition in clients

[waydroid.git] / tools / helpers / version.py

diff --git a/tools/helpers/version.py b/tools/helpers/version.py
index d8ae4498a61afa076b2a64a6356682daf0ed0a29..bbfcd1a85ae82de3baae4e24a1018621d49a6de1 100644 (file)
--- a/tools/helpers/version.py
+++ b/tools/helpers/version.py
@@ -1,7 +1,8 @@
 import os
+import re
 
 def versiontuple(v):
     return tuple(map(int, (v.split("."))))
 
 def kernel_version():
-    return tuple(map(int, os.uname().release.split(".", 2)[:2]))
+    return tuple(map(int, re.match(r"(\d+)\.(\d+)", os.uname().release).groups()))