From 39df8ee372e23abfc765fa4c4b7451af760821d7 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 18 Mar 2022 17:39:58 -0700 Subject: [PATCH] update win build Signed-off-by: Nikolaj Bjorner --- scripts/build-win-signed.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/build-win-signed.yml b/scripts/build-win-signed.yml index bd96889a398..1b0bb111a22 100644 --- a/scripts/build-win-signed.yml +++ b/scripts/build-win-signed.yml @@ -18,7 +18,7 @@ jobs: displayName: Build inputs: script: - call "C:\Program Files (x86)\Microsoft Visual Studio\2019\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" ${{parameters.BuildArchitecture}} && + call "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" ${{parameters.BuildArchitecture}} && python scripts\mk_win_dist.py --${{parameters.BuildArchitecture}}-only --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk