diff options
author | w0rp <w0rp@users.noreply.github.com> | 2018-10-25 14:24:56 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2018-10-25 14:25:27 +0100 |
commit | 2dbfbe7b02cf88cdce48793ff0cfe682403ea81d (patch) | |
tree | 36714c192dc557a3a8cd6f33edff3e5f3f35cbf3 /run-tests.bat | |
parent | ceb2e8d350620366574c4c5efea66adfbeb0bb19 (diff) | |
download | ale-2dbfbe7b02cf88cdce48793ff0cfe682403ea81d.zip |
Merge pull request #2012 from paihu/fix-cdstring-win32-change-drive
Fix #2011 MS Windows, lint error when current drive and target file drive is different.
Diffstat (limited to 'run-tests.bat')
-rw-r--r-- | run-tests.bat | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/run-tests.bat b/run-tests.bat index a3b47056..9ba6b554 100644 --- a/run-tests.bat +++ b/run-tests.bat @@ -13,7 +13,7 @@ set VADER_OUTPUT_FILE=%~dp0\vader_output REM Automatically re-run Windows tests, which can fail some times. set tries=0 -RUN_TESTS: +:RUN_TESTS set /a tries=%tries%+1 type nul > "%VADER_OUTPUT_FILE%" C:\vim\vim\vim80\vim.exe -u test/vimrc "+Vader! %tests%" @@ -23,7 +23,7 @@ IF %code% EQU 0 GOTO :SHOW_RESULTS IF %tries% GEQ 2 GOTO :SHOW_RESULTS GOTO :RUN_TESTS -SHOW_RESULTS: +:SHOW_RESULTS type "%VADER_OUTPUT_FILE%" del "%VADER_OUTPUT_FILE%" |