mirror of
https://github.com/odin-lang/Odin.git
synced 2025-12-29 09:24:33 +00:00
6 lines
305 B
Batchfile
6 lines
305 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 |