commit 85094761c53c0b77cfa130bdfc639a067d2165ec
author Paul Wankadia <junyer@google.com> Wed Dec 13 01:11:25 2017 +1100
committer Paul Wankadia <junyer@google.com> Tue Dec 12 14:12:17 2017 +0000
tree 8796533bbe7e49ce5b1ea246b29aaea071373cea
parent 6f3fb02d2e555c251d9e3cb20b124bd09be2e78f

Try specifying Visual Studio 14 2015 instead.

Change-Id: I0844855feb09d55ec9221febd06afa9acbc81979
Reviewed-on: https://code-review.googlesource.com/20910
Reviewed-by: Paul Wankadia <junyer@google.com>

kokoro/windows-cmake.bat

diff --git a/kokoro/windows-cmake.bat b/kokoro/windows-cmake.bat
index beab26a..6b04b65 100755
--- a/kokoro/windows-cmake.bat
+++ b/kokoro/windows-cmake.bat
@@ -1,11 +1,11 @@
 CD git/re2                                                            || EXIT /B 1
 
-cmake -D CMAKE_BUILD_TYPE=Debug -G "Visual Studio 12 2013" -A x64 .   || EXIT /B 1
+cmake -D CMAKE_BUILD_TYPE=Debug -G "Visual Studio 14 2015" -A x64 .   || EXIT /B 1
 cmake --build . --config Debug --clean-first                          || EXIT /B 1
-ctest -C Debug --output-on-failure --extra-verbose -E dfa^|exhaustive^|random         || EXIT /B 1
+ctest -C Debug --output-on-failure -E dfa^|exhaustive^|random         || EXIT /B 1
 
-cmake -D CMAKE_BUILD_TYPE=Release -G "Visual Studio 12 2013" -A x64 . || EXIT /B 1
+cmake -D CMAKE_BUILD_TYPE=Release -G "Visual Studio 14 2015" -A x64 . || EXIT /B 1
 cmake --build . --config Release --clean-first                        || EXIT /B 1
-ctest -C Release --output-on-failure --extra-verbose -E dfa^|exhaustive^|random       || EXIT /B 1
+ctest -C Release --output-on-failure -E dfa^|exhaustive^|random       || EXIT /B 1
 
 EXIT /B 0