Merge SVN 4026

OCamlPro · Jun 12, 2024 · 7772685 · 7772685
1 parent d34d0aa
commit 7772685
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build_windows/makedist.cmd b/build_windows/makedist.cmd
@@ -247,7 +247,7 @@ endlocal & exit /b %cb_errorlevel%
 
 :: pause if not started directly
 :pause_if_interactive
-if not [%stay_open%] == [] (
+if not [%stay_open%%CI%] == [] (
    echo.
    pause
 )