mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
parent
0e8d314a2a
commit
ba066ff899
|
@ -572,7 +572,7 @@ def parse_options():
|
|||
LINUX_X64=False
|
||||
elif opt in ('-h', '--help'):
|
||||
display_help(0)
|
||||
elif opt in ('-m', '--onlymakefiles'):
|
||||
elif opt in ('-m', '--makefiles'):
|
||||
ONLY_MAKEFILES = True
|
||||
elif opt in ('-c', '--showcpp'):
|
||||
SHOW_CPPS = True
|
||||
|
|
Loading…
Reference in a new issue