diff options
| author | DanielGavin <danielgavin5@hotmail.com> | 2022-08-17 23:07:08 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-17 23:07:08 +0200 |
| commit | f482dee7e3907c3c98f867dd4b45de4718425641 (patch) | |
| tree | 9bb3d76e0ba8fbb21e4dd3036f8d97c5609ffe43 | |
| parent | 4820ffdf3e5567aa645561964b769f6a8e6f86aa (diff) | |
| parent | 1c52dffa505261b20e7c4532ef996450c8b6c818 (diff) | |
Merge pull request #133 from thePHTest/master
fix build.bat
| -rw-r--r-- | build.bat | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,8 +1,8 @@ @echo off
-
+setlocal enabledelayedexpansion
if "%1" == "CI" (
- set "PATH=%cd%\Odin;%PATH%"
+ set "PATH=%cd%\Odin;!PATH!"
rem odin test tests -collection:shared=src
rem if %errorlevel% neq 0 exit 1
@@ -19,4 +19,4 @@ if "%1" == "CI" ( odin build src\ -show-timings -collection:shared=src -microarch:native -out:ols.exe -o:minimal -no-bounds-check -debug
) else (
odin build src\ -show-timings -microarch:native -collection:shared=src -out:ols.exe -o:speed -no-bounds-check
-)
\ No newline at end of file +)
|