diff options
| author | undisputed goose <diablodvorak@gmail.com> | 2022-05-18 10:47:25 +0700 |
|---|---|---|
| committer | undisputed goose <diablodvorak@gmail.com> | 2022-05-18 10:47:25 +0700 |
| commit | fc1ef5bf57b66c4198016dfb804906e573fb663d (patch) | |
| tree | f0f5de5ed97e1a31a95254d138cd6e36fc2a1f54 /build.sh | |
| parent | c85e82db9d62d4a061b16d80b3c26665edaad9fe (diff) | |
change deprecated -opt flag to -o:speed in linux build
Diffstat (limited to 'build.sh')
| -rwxr-xr-x | build.sh | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,7 +1,7 @@ #!/usr/bin/env bash if [[ $1 == "CI" ]] -then +then ODIN="Odin/odin" else ODIN="odin" @@ -40,4 +40,4 @@ then cd .. fi -${ODIN} build src/ -show-timings -collection:shared=src -out:ols -opt:2 +${ODIN} build src/ -show-timings -collection:shared=src -out:ols -o:speed |