commit 3262fef1a2a6a54f01a6c23cb0301532ab99bf41
author Marco Poletti <poletti.marco@gmail.com> Sun Jun 11 13:28:02 2017 +0100
committer Marco Poletti <poletti.marco@gmail.com> Sun Jun 11 13:28:02 2017 +0100
tree dec1fb4da2d73ba58ed5f21174e21df79f53a7f1
parent 5faca28970d9d3829b5a867a193786aca3f81948

Fix a syntax error in extras/scripts/postsubmit.bat.

extras/scripts/postsubmit.bat

diff --git a/extras/scripts/postsubmit.bat b/extras/scripts/postsubmit.bat
index 6a95e24..17a27b9 100644
--- a/extras/scripts/postsubmit.bat
+++ b/extras/scripts/postsubmit.bat
@@ -15,9 +15,9 @@
 cmake.exe -G "%CMAKE_GENERATOR%" .. -DCMAKE_BUILD_TYPE=%CONFIGURATION% -DBUILD_TESTS_IN_RELEASE_MODE=True %ADDITIONAL_CMAKE_ARGS% || exit /b 1
 
 echo "Content of CMakeFiles\CMakeError.log:"
-if exist "CMakeFiles\CMakeError.log"
+if exist "CMakeFiles\CMakeError.log" (
    type "CMakeFiles\CMakeError.log"
-fi
+)
 
 IF "%CMAKE_GENERATOR%"=="MinGW Makefiles" (
   mingw32-make -j12 || exit /b 1