From 6b312a58a35ae96427b93e5d8816641ae9e21a5a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 20 Dec 2020 12:06:46 -0800 Subject: [PATCH] move/remove 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 929f0bc05..18df5c665 100644 --- a/scripts/mk_nuget_task.py +++ b/scripts/mk_nuget_task.py @@ -62,7 +62,7 @@ def unpack(packages): if "x64-win" in f: zip_ref.extract(f"{package_dir}/bin/libz3.pdb", "tmp") mk_dir(f"out/runtimes/{dst}/native") - shutil.remove("out/runtimes/{dst}/native/libz3.pdb") + shutil.remove(f"out/runtimes/{dst}/native/libz3.pdb") shutil.move(f"tmp/{package_dir}/bin/libz3.pdb", f"out/runtimes/{dst}/native/.") mk_dir("out/lib/netstandard1.4/") for b in ["Microsoft.Z3.dll", "Microsoft.Z3.pdb"]: