From babac78c999437ce7fe5c5c9e9e3eab45ded95b2 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 8 Apr 2022 06:59:07 +0200 Subject: [PATCH] syntax error? --- 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 f5cbf6504..39f48f448 100644 --- a/scripts/mk_unix_dist.py +++ b/scripts/mk_unix_dist.py @@ -101,7 +101,7 @@ def parse_options(): if arg == "arm64": mk_util.IS_ARCH_ARM64 = True else: - raise MKException(f"Invalid architecture directive '{arg}'. Legal directives: arm64") + raise MKException("Invalid architecture directive '%s'. Legal directives: arm64" % arg) else: raise MKException("Invalid command line option '%s'" % opt) set_build_dir(path)