fix: error in invoke_tool when running vivado.bat on Windows#1559

whitequark merged 1 commit intoamaranth-lang:mainamaranth-lang/amaranth:mainfrom

wipeseals:fix-invoke_toolwipeseals/amaranth:fix-invoke_toolCopy head branch name to clipboard