diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 3ca0012e7..6db45d970 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -596,7 +596,7 @@ def display_help(exit_code): else: print(" --parallel=num use cl option /MP with 'num' parallel processes") print(" --pypkgdir= Force a particular Python package directory (default %s)" % PYTHON_PACKAGE_DIR) - print(" -b , --build= subdirectory where Z3 will be built (default: build).") + print(" -b , --build= subdirectory where Z3 will be built (default: build).") print(" --githash=hash include the given hash in the binaries.") print(" -d, --debug compile Z3 in debug mode.") print(" -t, --trace enable tracing in release mode.")