mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 20:18:18 +00:00
Code Activity

use stirngs for env variables

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2017-01-15 11:59:09 -08:00
parent ee36662435
commit dd0d3d4510
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_win_dist.py
View file

@ -31,7 +31,7 @@ GIT_HASH=False
PYTHON_ENABLED=True PYTHON_ENABLED=True
X86ONLY=False X86ONLY=False
X64ONLY=False X64ONLY=False
MAKEJOBS=getenv("MAKEJOBS", 24) MAKEJOBS=getenv("MAKEJOBS", "24")
def set_verbose(flag): def set_verbose(flag):
global VERBOSE global VERBOSE