diff options
| author | Lucas Perlind <perlindluca@gmail.com> | 2023-04-03 13:38:36 +1000 |
|---|---|---|
| committer | Lucas Perlind <perlindluca@gmail.com> | 2023-04-03 16:49:14 +1000 |
| commit | c59ad24856303c253fbc09f9e4e4f22fa9129f80 (patch) | |
| tree | c03ae05ab2678bc0596ada6b80e45f9f3f20da45 /tests/documentation | |
| parent | 22e0f5ecd03fbf06428ae002a31ce7851d0356f6 (diff) | |
Make tests scripts error if a test fails
Additionally fixes tests that were found broken because
of this.
Diffstat (limited to 'tests/documentation')
| -rw-r--r-- | tests/documentation/build.bat | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tests/documentation/build.bat b/tests/documentation/build.bat index 1e92e3ba5..6ca90fbad 100644 --- a/tests/documentation/build.bat +++ b/tests/documentation/build.bat @@ -4,9 +4,10 @@ set PATH_TO_ODIN==..\..\odin echo --- echo Building Documentation File echo --- -%PATH_TO_ODIN% doc ..\..\examples\all -all-packages -doc-format +%PATH_TO_ODIN% doc ..\..\examples\all -all-packages -doc-format || exit /b + echo --- echo Running Documentation Tester echo --- -%PATH_TO_ODIN% run documentation_tester.odin -file -vet -strict-style -- %PATH_TO_ODIN% +%PATH_TO_ODIN% run documentation_tester.odin -file -vet -strict-style -- %PATH_TO_ODIN% || exit /b |