Index: scripts/internal/clear_env.bat
===================================================================
diff -u -N -r718a83fb4e17e7d6160fdbf11b154e2068278586 -r0a2c7bb7c7f07f0ea6defb6a46bf6a4bd68057ad
--- scripts/internal/clear_env.bat	(.../clear_env.bat)	(revision 718a83fb4e17e7d6160fdbf11b154e2068278586)
+++ scripts/internal/clear_env.bat	(.../clear_env.bat)	(revision 0a2c7bb7c7f07f0ea6defb6a46bf6a4bd68057ad)
@@ -13,6 +13,10 @@
 
 	rmdir /S /Q "%TmpDir%" >nul
 	if exist "%TmpDir%" (
+		rem Wait for a while for system to delete the files
+		timeout 2 /NOBREAK >nul
+	)
+	if exist "%TmpDir%" (
 		echo ERROR: Deleting the old temporary folder failed.
 		exit /b 1
 	)