# HG changeset patch # User Doug Simon # Date 1433881865 -7200 # Node ID b1234c06ea4985d000cd6df91cd20c5dd1ecac41 # Parent c869a5c3da16f21d30f6942d888354909c1dcf97 removed timestamp from "unknown" Graal version string diff -r c869a5c3da16 -r b1234c06ea49 mx/mx_graal.py --- a/mx/mx_graal.py Tue Jun 09 20:36:45 2015 +0200 +++ b/mx/mx_graal.py Tue Jun 09 22:31:05 2015 +0200 @@ -829,7 +829,7 @@ major, minor = map(int, most_recent_tag_version.split('.')) cached_graal_version = str(major) + '.' + str(minor + 1) + '-' + dev_suffix else: - cached_graal_version = 'unknown-{0}-{1}'.format(platform.node(), time.strftime('%Y-%m-%d_%H-%M-%S_%Z')) + cached_graal_version = 'unknown-{0}'.format(platform.node()) return cached_graal_version