Index: scripts/jenkins/_get-output-dir.bat
===================================================================
diff -u -r8c55893d07674cfbceb5f9b245bf887d8e7079bb -rac285315e87e34ee789a46505ac4f32c0df8dd39
--- scripts/jenkins/_get-output-dir.bat	(.../_get-output-dir.bat)	(revision 8c55893d07674cfbceb5f9b245bf887d8e7079bb)
+++ scripts/jenkins/_get-output-dir.bat	(.../_get-output-dir.bat)	(revision ac285315e87e34ee789a46505ac4f32c0df8dd39)
@@ -3,9 +3,9 @@
 call "%WORKSPACE%\scripts\jenkins\_get-version.bat" || exit /b 1
 
 if "%CHDetailVersion%" == "0" (
-	SET OutDir=%WORKSPACE%\Output\%CHTextVersion%
+	SET OutDir="%WORKSPACE%\Output\%CHTextVersion%"
 ) else (
-	SET OutDir=%WORKSPACE%\Output\internal\%CHTextVersion%
+	SET OutDir="%WORKSPACE%\Output\internal\%CHTextVersion%"
 )
 
 mkdir "%OutDir%" || exit /b 0