Remove the date from the Python version number.

This messed with the identification in benchmarks/id.sh.
oilshell · Aug 19, 2018 · 3eb1f374396ad84758f270a6ed7fd3433e960ded · 3eb1f37
1 parent ca16bca
commit 3eb1f374396ad84758f270a6ed7fd3433e960ded
Unified Split

Showing with 5 additions and 1 deletion.

+5 −1 core/util.py
diff --git a/core/util.py b/core/util.py
@@ -275,7 +275,11 @@ def ShowAppVersion(app_name):
  # The platform.py module has a big regex that parses sys.version, but we
  # don't want to depend on regular expressions.  So we will do our own parsing
  # here.
-  py_version, py_compiler = sys.version.splitlines()
+  version_line, py_compiler = sys.version.splitlines()
+
+  # Pick off the first part of '2.7.12 (default, ...)'
+  py_version = version_line.split()[0]
+
  assert py_compiler.startswith('['), py_compiler
  assert py_compiler.endswith(']'), py_compiler
  py_compiler = py_compiler[1:-1]