From a30fe1e2ec28d503abbda5d448f1c6e0278ecbb8 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Tue, 22 Dec 2015 00:52:37 +0100
Subject: [PATCH] Followup to previous build fix. Relates to #357 and #361

---
 scripts/mk_util.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index e3f7d7107..e76eaf0bb 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -1348,6 +1348,7 @@ class DLLComponent(Component):
 class PythonInstallComponent(Component):
     def __init__(self, name, libz3Component):
         assert isinstance(libz3Component, DLLComponent)
+        global PYTHON_INSTALL_ENABLED
         Component.__init__(self, name, None, [])
         self.pythonPkgDir = None
         self.in_prefix_install = True