# HG changeset patch # User Chris Seaton # Date 1406713147 -7200 # Node ID 202d86545bbaeea898726f667a2a95cf0e367955 # Parent a4b7356f4a2ba07e5bed0342ceb92c2a4d601b3b Fix Python style. diff -r a4b7356f4a2b -r 202d86545bba mx/mx_graal.py --- a/mx/mx_graal.py Wed Jul 30 11:34:10 2014 +0200 +++ b/mx/mx_graal.py Wed Jul 30 11:39:07 2014 +0200 @@ -803,13 +803,13 @@ sorted_tags = sorted(tags, key=lambda e: [int(x) for x in e[0][len("graal-"):].split('.')], reverse=True) most_recent_tag_name, most_recent_tag_revision = sorted_tags[0] most_recent_tag_version = most_recent_tag_name[len("graal-"):] - + if current_revision == most_recent_tag_revision: version = most_recent_tag_version else: major, minor = map(int, most_recent_tag_version.split('.')) version = str(major) + '.' + str(minor + 1) + '-dev' - + setMakeVar('USER_RELEASE_SUFFIX', 'graal-' + version) setMakeVar('GRAAL_VERSION', version) else: