diff --git a/tools/run-tests.bat b/tools/run-tests.bat index 3187f63f..b449cbdb 100755 --- a/tools/run-tests.bat +++ b/tools/run-tests.bat @@ -721,7 +721,7 @@ cd L: >nul 2>nul || (echo Unable to find drive L: >&2 & goto fail) L: if X%5==XNOEXCL ( "%ProjRoot%\build\VStudio\build\%Configuration%\%4.exe" ^ - --external --resilient + --external --resilient --case-insensitive-cmp ) else ( "%ProjRoot%\build\VStudio\build\%Configuration%\%4.exe" ^ --external --resilient --case-insensitive-cmp --share-prefix="\%1\%TMP::=$%\%1\test" ^