mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
os
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
6396cfd6e7
commit
9190f22eb4
|
@ -105,7 +105,7 @@ def parse_options():
|
|||
mk_util.IS_ARCH_ARM64 = True
|
||||
else:
|
||||
raise MKException("Invalid architecture directive '%s'. Legal directives: arm64" % arg)
|
||||
else if opt == '--os':
|
||||
elif opt == '--os':
|
||||
OS_VERSION = arg
|
||||
else:
|
||||
raise MKException("Invalid command line option '%s'" % opt)
|
||||
|
|
Loading…
Reference in a new issue