diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py index 39d5f0f26..75d26a1c5 100644 --- a/scripts/mk_nuget_task.py +++ b/scripts/mk_nuget_task.py @@ -86,7 +86,7 @@ def mk_icon(source_root): def create_nuget_spec(version, repo, branch, commit, symbols, arch): - arch = f"{arch}." if arch == "x86" else "" + arch = f".{arch}" if arch == "x86" else "" contents = """ @@ -114,7 +114,7 @@ Linux Dependencies: """.format(version, repo, branch, commit, arch) print(contents) sym = "sym." if symbols else "" - file = f"out/Microsoft.Z3.{arch}{sym}nuspec" + file = f"out/Microsoft.Z3{arch}.{sym}nuspec" print(file) with open(file, 'w') as f: f.write(contents)