From da6e3efa97470d4a090c898585dfbfe7480d4368 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 7 Jun 2019 17:28:27 -0700 Subject: [PATCH] try with \ instead of / Signed-off-by: Nikolaj Bjorner --- scripts/nightly.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 211f7144c..05793b74f 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -45,7 +45,7 @@ jobs: secureFile: 'z3.snk' - script: scripts\mk_win_dist.cmd - script: git clone https://github.com/z3prover/z3test z3test - - script: python z3test/scripts/test_benchmarks.py build-dist/z3.exe z3test/regressions/smt2 + - script: python z3test/scripts/test_benchmarks.py build-dist\z3.exe z3test/regressions/smt2 - script: xcopy dist\*.zip $(Build.ArtifactStagingDirectory)\* /y - task: PublishPipelineArtifact@0 inputs: