From 09328d5bec5ca3f68967c00595571c95014c05a6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 10 Jul 2019 14:52:41 +0100
Subject: [PATCH] remove unknown option /RELEASE in python build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/mk_util.py | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 398aafca0..54ad7f6d8 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -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'