Index: scripts/internal/clear_env.bat =================================================================== diff -u -N -r0dad97fd1b1e4c79c037b3b638181c2214c0d8f8 -ref023462c3ce1007cc632af15c3913b69f267683 --- scripts/internal/clear_env.bat (.../clear_env.bat) (revision 0dad97fd1b1e4c79c037b3b638181c2214c0d8f8) +++ scripts/internal/clear_env.bat (.../clear_env.bat) (revision ef023462c3ce1007cc632af15c3913b69f267683) @@ -5,11 +5,12 @@ exit /b 1 ) -cd "%TmpDir%\.." - rem Setup environment if exist "%TmpDir%" ( echo * Removing temporary directory... + + cd "%TmpDir%\.." + rmdir /S /Q "%TmpDir%" >nul if exist "%TmpDir%" ( echo ERROR: Deleting the old temporary folder failed.