mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
typo
This commit is contained in:
parent
99da56a786
commit
1cc2385fd2
|
@ -720,7 +720,7 @@ def parse_options():
|
|||
if not PYTHON_PACKAGE_DIR.startswith(PREFIX):
|
||||
print(("Warning: The detected Python package directory (%s)"
|
||||
" does not live under the installation prefix (%s)"
|
||||
". This would lead to a broken Python installation."
|
||||
". This would lead to a broken Python installation. "
|
||||
"Use --pypkgdir= to change the Python package directory") %
|
||||
(PYTHON_PACKAGE_DIR, PREFIX))
|
||||
if IS_OSX and PYTHON_PACKAGE_DIR.startswith('/Library/'):
|
||||
|
|
Loading…
Reference in a new issue