ed/Odin
1
0
Fork 0
mirror of https://github.com/Ed94/Odin.git synced 2026-07-27 01:40:03 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #2436 from Lperlind/batch-fail

Browse Source 
Make tests scripts error if a test fails
This commit is contained in:
Jeroen van Rijn
2023-04-03 08:56:43 +02:00
committed by GitHub
parent 2b9b0ac62e c59ad24856
commit f205df1996
7 changed files with 38 additions and 38 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/documentation/build.bat
+3 -2
View File
@@ -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