mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
remove unknown option /RELEASE in python build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
ee94f8f5ce
commit
09328d5bec
|
@ -98,7 +98,6 @@ JS_ENABLED=False
|
|||
PYTHON_INSTALL_ENABLED=False
|
||||
STATIC_LIB=False
|
||||
STATIC_BIN=False
|
||||
ADD_CHECKSUM=True
|
||||
VER_MAJOR=None
|
||||
VER_MINOR=None
|
||||
VER_BUILD=None
|
||||
|
@ -2442,8 +2441,6 @@ def mk_config():
|
|||
static_opt = '/MT'
|
||||
else:
|
||||
static_opt = '/MD'
|
||||
if ADD_CHECKSUM:
|
||||
extra_opt = ' %s /RELEASE' % extra_opt
|
||||
maybe_disable_dynamic_base = '/DYNAMICBASE' if ALWAYS_DYNAMIC_BASE else '/DYNAMICBASE:NO'
|
||||
if DEBUG_MODE:
|
||||
static_opt = static_opt + 'd'
|
||||
|
|
Loading…
Reference in a new issue