This commit is contained in:
Jaremy Creechley 2023-08-02 15:43:22 -07:00
parent 0a955f03ac
commit 83bb9f667b
No known key found for this signature in database
GPG Key ID: 4E66FB67B21D3300
1 changed files with 2 additions and 2 deletions

View File

@ -63,8 +63,8 @@ else:
# ("-fno-asynchronous-unwind-tables" breaks Nim's exception raising, sometimes)
switch("passC", "-mno-avx512vl")
when getEnv("CODEX_USE_ORC", "") in ["true", "1"]:
echo "Using ORC"
if getEnv("CODEX_USE_ORC", "") in ["true", "1"]:
echo "==== Building using ORC ===="
--mm:orc
--deepcopy:on