mirror of
https://github.com/odin-lang/Odin.git
synced 2025-12-30 01:44:36 +00:00
5 lines
224 B
Batchfile
5 lines
224 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 |