From 672e39238636fdcdad52e00d09dc3e9422289a2a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 10 Nov 2020 08:01:22 -0800 Subject: [PATCH] guard Signed-off-by: Nikolaj Bjorner --- scripts/mk_util.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index d5c6f1f22..1af4f7c08 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -2359,7 +2359,7 @@ def mk_config(): if ONLY_MAKEFILES: return config = open(os.path.join(BUILD_DIR, 'config.mk'), 'w') - global CXX, CC, GMP, CPPFLAGS, CXXFLAGS, LDFLAGS, EXAMP_DEBUG_FLAG, FPMATH_FLAGS, LOG_SYNC, SINGLE_THREADED + global CXX, CC, GMP, GUARD_CF, STATIC_BIN, GIT_HASH, CPPFLAGS, CXXFLAGS, LDFLAGS, EXAMP_DEBUG_FLAG, FPMATH_FLAGS, LOG_SYNC, SINGLE_THREADED if IS_WINDOWS: config.write( 'CC=cl\n'