diff options
| author | DanielGavin <danielgavin5@hotmail.com> | 2021-04-25 15:34:28 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-25 15:34:28 +0200 |
| commit | 9343b64c66a4765679d58fa09ebe0ecd8972d627 (patch) | |
| tree | 76c77438d8124a9787348660397474265b499aee | |
| parent | 6bfaf8360434b8c9a969f317040ed73bd14d6132 (diff) | |
Update build.bat
| -rw-r--r-- | build.bat | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -3,7 +3,7 @@ rem odin build src\ -show-timings -microarch:native -collection:shared=src -out:ols -opt:0 -debug -llvm-api
if "%1" == "CI" (
- set ODIN="../Odin/odin"
+ set ODIN="Odin/odin"
) else (
set ODIN="odin"
)
|