mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-07 06:33:23 +00:00
Code Activity

Fix Python 2.6 incompatibility at mk_util.py

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-02-13 19:03:37 -08:00
parent d2651f1afc
commit 0c0fe40446
1 changed files with 1 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

5
scripts/mk_util.py
View file

@ -76,10 +76,7 @@ GPROF=False
GIT_HASH=False GIT_HASH=False
def check_output(cmd): def check_output(cmd):
try: return subprocess.Popen(cmd, stdout=subprocess.PIPE).communicate()[0].rstrip('\r\n')
return subprocess.check_output(cmd, shell=True).rstrip('\r\n')
except:
return subprocess.check_output(cmd).rstrip('\r\n')
def git_hash(): def git_hash():
try: try: