From 0b17a568ee4cc700b08a4a1123151a051db15a33 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 2 Jun 2022 06:59:59 -0700 Subject: [PATCH] fixes to script Signed-off-by: Nikolaj Bjorner --- scripts/mk_unix_dist.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/mk_unix_dist.py b/scripts/mk_unix_dist.py index 301782ec8..72a7ba15f 100644 --- a/scripts/mk_unix_dist.py +++ b/scripts/mk_unix_dist.py @@ -59,7 +59,7 @@ def display_help(): print(" --dotnet-key= sign the .NET assembly with the private key in .") print(" --arch= set architecture (to arm64) to force arm64 build") print(" --nojava do not include Java bindings in the binary distribution files.") - print(" -os= set OS version.") + print(" --os= set OS version.") print(" --nopython do not include Python bindings in the binary distribution files.") print(" --githash include git hash in the Zip file.") exit(0) @@ -76,6 +76,7 @@ def parse_options(): 'nodotnet', 'dotnet-key=', 'arch=', + 'os=', 'githash', 'nopython' ])