mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

Fix bug in CMake bootstrap script when running under Windows.

Browse source
This commit is contained in:
Dan Liew 2016-03-03 18:55:12 +00:00
parent e67ed6be5d
commit 786362a423
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
contrib/cmake/bootstrap.py
View file

@ -87,7 +87,7 @@ def mk_sym_link(target, linkName):
logging.warning('Creating symbolic links is not supported. Just making a copy instead')
if os.path.isdir(target):
# Recursively copy directory
shutil.copytree(src=target, dst=linkName, symlinks=False, ignore=False)
shutil.copytree(src=target, dst=linkName, symlinks=False)
else:
# Copy file
assert os.path.isfile(target)