From 174889ad5ea8b1e1127aeec8a4121a5687ac9a2b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 8 Jan 2022 16:28:12 -0800
Subject: [PATCH] id
---
scripts/mk_nuget_task.py | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
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 = """<?xml version="1.0" encoding="utf-8"?>
<package xmlns="http://schemas.microsoft.com/packaging/2010/07/nuspec.xsd">
<metadata>
@@ -114,7 +114,7 @@ Linux Dependencies:
</package>""".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)