diff options
| author | DanielGavin <danielgavin5@hotmail.com> | 2021-04-25 15:27:07 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-25 15:27:07 +0200 |
| commit | 2f5b07629beeee62e90cac417e67aea32462f737 (patch) | |
| tree | 0e31b3964389df3076c864d2144f4b75174f20ed /build.bat | |
| parent | 919bc804e0eea70d50b850a0a04e48c21f7a8132 (diff) | |
Update build.bat
Diffstat (limited to 'build.bat')
| -rw-r--r-- | build.bat | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -2,4 +2,10 @@ rem odin build src\ -show-timings -microarch:native -collection:shared=src -out:ols -opt:0 -debug -llvm-api
-odin build src\ -show-timings -microarch:native -collection:shared=src -out:ols -opt:2 -llvm-api
+if "%1" == "CI" (
+ set ODIN="../Odin/odin"
+) else (
+ set ODIN="odin"
+)
+
+%ODIN% build src\ -show-timings -microarch:native -collection:shared=src -out:ols -opt:2 -llvm-api
|