mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-10 19:27:06 +00:00
Code Activity

disabled unnecessary assertion

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2016-10-26 12:59:26 +01:00
parent c7fddf80c2
commit 86285e1641
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_util.py
View file

@ -3278,7 +3278,7 @@ class MakeRuleCmd(object):
#print("WARNING: Generating makefile rule that {}s {} '{}' which is outside the installation prefix '{}'.".format(
# action_string, 'to' if is_install else 'from', path, PREFIX))
else:
assert not os.path.isabs(path)
# assert not os.path.isabs(path)
install_root = cls.install_root()
return install_root