From 6580a835943950d1ec75489055bc1161160789ec Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 2 Nov 2012 21:16:52 -0700 Subject: [PATCH] minor fix for ramdisk build Signed-off-by: Leonardo de Moura --- scripts/mk_util.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 3d316dcb8..ae8cf32bb 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -1093,7 +1093,8 @@ def cp_z3pyc_to_build(): os.remove('%s/%s' % (BUILD_DIR, pyc)) except: pass - os.rename('%s/%s' % (Z3PY_SRC_DIR, pyc), '%s/%s' % (BUILD_DIR, pyc)) + shutil.copyfile('%s/%s' % (Z3PY_SRC_DIR, pyc), '%s/%s' % (BUILD_DIR, pyc)) + os.remove('%s/%s' % (Z3PY_SRC_DIR, pyc)) if is_verbose(): print "Generated '%s'" % pyc