From fc20eba9457000ebb9defc6c656cf3cb42e34526 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 6 Dec 2012 15:46:36 -0800
Subject: [PATCH] another dir issue

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 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 5944f015f..8165ba5db 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -454,7 +454,7 @@ def mk_dir(d):
 
 def set_build_dir(d):
     global BUILD_DIR, REV_BUILD_DIR
-    BUILD_DIR = d
+    BUILD_DIR = norm_path(d)
     REV_BUILD_DIR = reverse_path(d)
 
 def set_z3py_dir(p):