From 9190f22eb40407b86aa4eaf94adbce956939ed09 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 1 Jun 2022 21:23:44 -0700 Subject: [PATCH] os Signed-off-by: Nikolaj Bjorner --- scripts/mk_unix_dist.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/mk_unix_dist.py b/scripts/mk_unix_dist.py index ca1d76975..301782ec8 100644 --- a/scripts/mk_unix_dist.py +++ b/scripts/mk_unix_dist.py @@ -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)