diff options
| author | Brad Lewis <22850972+BradLewis@users.noreply.github.com> | 2025-08-13 20:36:39 -0400 |
|---|---|---|
| committer | Brad Lewis <22850972+BradLewis@users.noreply.github.com> | 2025-08-13 20:36:39 -0400 |
| commit | 439ea117895e641eb5fd40c98202c2e6f13d315c (patch) | |
| tree | 4f8e963d30e0144a50e05e4519317319a69daa7a /misc | |
| parent | c6b119b7fa1917c3df02c08d747f40a418326cc4 (diff) | |
Update ols schema
Diffstat (limited to 'misc')
| -rw-r--r-- | misc/ols.schema.json | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/misc/ols.schema.json b/misc/ols.schema.json index cd2b6a6..2811be1 100644 --- a/misc/ols.schema.json +++ b/misc/ols.schema.json @@ -80,6 +80,10 @@ "type": "string", "description": "Allows you to specify your Odin location, instead of just relying on the environment path." }, + "odin_root_override": { + "type": "string", + "description": "Allows you to specify a custom `ODIN_ROOT` that `ols` will use to look for `odin` core libraries when implementing custom runtimes." + }, "checker_args": { "type": "string", "description": "Pass custom arguments to `odin check`." |