From 462ea552150a6cbb9cb77e02e9d8783c2cce2f10 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 28 Oct 2012 12:24:57 -0700 Subject: [PATCH] fixed bug in mk_make.py Signed-off-by: Leonardo de Moura --- scripts/mk_util.py | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 75075d31f..3f6667c79 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -184,6 +184,7 @@ def set_build_dir(d): def set_z3py_dir(p): global SRC_DIR, Z3PY_SRC_DIR + mk_dir(BUILD_DIR) full = '%s/%s' % (SRC_DIR, p) if not os.path.exists(full): raise MKException("Python bindings directory '%s' does not exist" % full)