From d5bd7878b331209b631a4fd75252a41f1b0fa672 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 19 Mar 2018 20:03:47 -0700 Subject: [PATCH] fix example test Signed-off-by: Nikolaj Bjorner --- scripts/vsts.cmd | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) diff --git a/scripts/vsts.cmd b/scripts/vsts.cmd index 7f457392e..f597e45ea 100644 --- a/scripts/vsts.cmd +++ b/scripts/vsts.cmd @@ -14,17 +14,16 @@ popd echo "Build and run examples" nmake cpp_example -cpp_example.exe +examples\cpp_example_build_dir\cpp_example.exe nmake c_example -c_example.exe +examples\c_example_build_dir\c_example.exe -nmake java_example -java_example.exe - -nmake dotnet_example -dotnet_example.exe +rem nmake java_example +rem java_example.exe +rem nmake dotnet_example +rem dotnet_example.exe echo "Build and run unit tests" nmake test-z3