mk_unix_dist.py: Fix --nopython

Writing to the global PYTHON_ENABLED requires that it be flagged as a global.
Z3Prover · Aug 4, 2022 · ad4c786 · ad4c786
1 parent dc75031
commit ad4c786
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/mk_unix_dist.py b/scripts/mk_unix_dist.py
@@ -66,7 +66,7 @@ def display_help():
 
 # Parse configuration option for mk_make script
 def parse_options():
-    global FORCE_MK, JAVA_ENABLED, GIT_HASH, DOTNET_CORE_ENABLED, DOTNET_KEY_FILE, OS_NAME
+    global FORCE_MK, JAVA_ENABLED, GIT_HASH, DOTNET_CORE_ENABLED, DOTNET_KEY_FILE, PYTHON_ENABLED, OS_NAME
     path = BUILD_DIR
     options, remainder = getopt.gnu_getopt(sys.argv[1:], 'b:hsf', ['build=',
                                                                    'help',