mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
build fix for cygwin/mingw
This commit is contained in:
parent
e3a41d0d98
commit
1fb672121c
|
@ -604,7 +604,7 @@ elif os.name == 'posix':
|
|||
IS_OPENBSD=True
|
||||
elif os.uname()[0][:6] == 'CYGWIN':
|
||||
IS_CYGWIN=True
|
||||
if ("mingw" in CC):
|
||||
if (CC != None and "mingw" in CC):
|
||||
IS_CYGWIN_MINGW=True
|
||||
|
||||
def display_help(exit_code):
|
||||
|
|
Loading…
Reference in a new issue