From 7ce88ec0323b6147c179c18ac33de246aed40d8a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 4 Jun 2021 11:02:00 -0700
Subject: [PATCH] na
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
scripts/nightly.yaml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 7fc8bd2c2..5b7a15aa3 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -93,7 +93,7 @@ stages:
- task: CmdLine@2
inputs:
script:
- call "C:\Program Files (x86)\Microsoft Visual Studio\2019\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" x86
+ call "C:\Program Files (x86)\Microsoft Visual Studio\2019\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" x86 &
python scripts\mk_win_dist.py
--x86-only
--dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk
@@ -116,7 +116,7 @@ stages:
- task: CmdLine@2
inputs:
script:
- call "C:\Program Files (x86)\Microsoft Visual Studio\2019\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" x64
+ call "C:\Program Files (x86)\Microsoft Visual Studio\2019\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" x64 &
python scripts\mk_win_dist.py
--x64-only
--dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk