diff options
author | Rasmus Andersson <rasmus@notion.se> | 2019-01-06 03:20:22 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2019-01-06 03:20:22 +0300 |
commit | 4ded41f4a37133a7e73156619cfb0fd8de767143 (patch) | |
tree | f3a1fe221ac925db7513108be81705c5661aca0a /misc/tools | |
parent | c6c99df95877077207f1f78f572734490d56f404 (diff) | |
download | inter-4ded41f4a37133a7e73156619cfb0fd8de767143.tar.xz |
Adds docker toolchain for a simpler build setup
Diffstat (limited to 'misc/tools')
-rw-r--r-- | misc/tools/common.py | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/misc/tools/common.py b/misc/tools/common.py index 132558c2b..8f25f1989 100644 --- a/misc/tools/common.py +++ b/misc/tools/common.py @@ -43,11 +43,15 @@ def getGitHash(): try: _gitHash = subprocess.check_output( ['git', '-C', BASEDIR, 'rev-parse', '--short', 'HEAD'], - shell=False, + stderr=subprocess.STDOUT, **_enc_kwargs ).strip() except: - pass + try: + # git rev-parse --short HEAD > githash.txt + _gitHash = readTextFile(pjoin(BASEDIR, 'githash.txt')).strip() + except: + pass return _gitHash |