diff options
Diffstat (limited to 'third_party/highway/run_tests.bat')
| -rw-r--r-- | third_party/highway/run_tests.bat | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/third_party/highway/run_tests.bat b/third_party/highway/run_tests.bat new file mode 100644 index 0000000000..26600a2c4f --- /dev/null +++ b/third_party/highway/run_tests.bat @@ -0,0 +1,20 @@ +@echo off +REM Switch directory of this batch file +cd %~dp0 + +if not exist build_win mkdir build_win + +cd build_win +cmake .. -DHWY_WARNINGS_ARE_ERRORS:BOOL=ON -G Ninja || goto error +ninja || goto error +ctest -j || goto error + +cd .. +echo Success +goto end + +:error +echo Failure +exit /b 1 + +:end |