mirror of
https://github.com/Ed94/Odin.git
synced 2026-06-13 09:22:22 -07:00
31407d9b1b
Fixes #2403
9 lines
388 B
Batchfile
9 lines
388 B
Batchfile
@echo off
|
|
set PATH_TO_ODIN==..\..\odin
|
|
rem %PATH_TO_ODIN% run test_rtti.odin -file -vet -strict-style -o:minimal || exit /b
|
|
%PATH_TO_ODIN% run test_map.odin -file -vet -strict-style -o:minimal || exit /b
|
|
rem -define:SEED=42
|
|
%PATH_TO_ODIN% run test_pow.odin -file -vet -strict-style -o:minimal || exit /b
|
|
|
|
%PATH_TO_ODIN% run test_128.odin -file -vet -strict-style -o:minimal || exit /b
|