remove unknown option /RELEASE in python build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Jul 10, 2019 · 09328d5 · 09328d5
1 parent ee94f8f
commit 09328d5
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/scripts/mk_util.py b/scripts/mk_util.py
@@ -98,7 +98,6 @@ def getenv(name, default):
 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'