From 40761ebb0da47cd30aa0a4821164724a6fe9468b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 8 Jan 2022 12:10:16 -0800 Subject: [PATCH] bug in script Signed-off-by: Nikolaj Bjorner --- scripts/mk_nuget_task.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py index 089e85814..152b4bf84 100644 --- a/scripts/mk_nuget_task.py +++ b/scripts/mk_nuget_task.py @@ -58,7 +58,7 @@ def unpack(packages, symbols, arch): for f in os.listdir(packages): print(f) if f.endswith(".zip") and classify_package(f, arch): - os_name, package_dir, ext, dst = classify_package(f) + os_name, package_dir, ext, dst = classify_package(f, arch) path = os.path.abspath(os.path.join(packages, f)) zip_ref = zipfile.ZipFile(path, 'r') zip_ref.extract(f"{package_dir}/bin/libz3.{ext}", f"{tmp}")