From de9c0d5cf19379e120a7534fd61875b463245c1a Mon Sep 17 00:00:00 2001 From: Sebastiaan Janssen Date: Fri, 15 Jul 2016 09:23:29 +0200 Subject: [PATCH] Adds a pause after build succeeds and when not running on the build server --- build/Build.bat | 1 + 1 file changed, 1 insertion(+) diff --git a/build/Build.bat b/build/Build.bat index fc0d8a69ea..ea7d2cba1f 100644 --- a/build/Build.bat +++ b/build/Build.bat @@ -83,6 +83,7 @@ ECHO. ECHO No errors were detected! ECHO There may still be some in the output, which you would need to investigate. ECHO Warnings are usually normal. +IF isci NEQ 1 PAUSE GOTO :EOF :error