From 3f0741420b431b952ef6818ca93dbdcfab23eac5 Mon Sep 17 00:00:00 2001 From: wipeseals Date: Sat, 1 Feb 2025 22:58:27 +0900 Subject: [PATCH] build.plat: fix error in invoke_tool when running vivado.bat on Windows --- amaranth/build/plat.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/amaranth/build/plat.py b/amaranth/build/plat.py index 0baa83474..192da2280 100644 --- a/amaranth/build/plat.py +++ b/amaranth/build/plat.py @@ -338,7 +338,7 @@ def invoke_tool(context, name): if context.parent["syntax"] == "sh": return f"\"${env_var}\"" elif context.parent["syntax"] == "bat": - return f"\"%{env_var}%\"" + return f"call %{env_var}%" else: assert False