docs: Add build support for python3

pull/1447/head
Anuj Deshpande 2017-12-26 16:01:18 +05:30
rodzic 5401a75bad
commit 59b0c50d77
1 zmienionych plików z 2 dodań i 2 usunięć

Wyświetl plik

@ -6,9 +6,9 @@ from repo_util import run_cmd_get_output
def get_github_rev():
path = run_cmd_get_output('git rev-parse --short HEAD')
tag = run_cmd_get_output('git describe --exact-match')
print 'Git commit ID: ', path
print ('Git commit ID: ', path)
if len(tag):
print 'Git tag: ', tag
print ('Git tag: ', tag)
path = tag
return path