diff options
| author | Daniel Gavin <danielgavin5@hotmail.com> | 2022-01-17 12:57:36 +0100 |
|---|---|---|
| committer | Daniel Gavin <danielgavin5@hotmail.com> | 2022-01-17 12:57:36 +0100 |
| commit | 189998bc09a28a4387af12e451dcac6fbc656d62 (patch) | |
| tree | 4c0907535e506856b8f5f409aacd3d23514a786f /src/server/check.odin | |
| parent | 2bb0365583b0632c80dd1d8f9a6adecec2208129 (diff) | |
Add checker arg config
Diffstat (limited to 'src/server/check.odin')
| -rw-r--r-- | src/server/check.odin | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/server/check.odin b/src/server/check.odin index 574227e..79fca7d 100644 --- a/src/server/check.odin +++ b/src/server/check.odin @@ -49,7 +49,7 @@ when ODIN_OS == "windows" { command = "odin"; } - if code, ok, buffer = common.run_executable(fmt.tprintf("%v check %s %s -no-entry-point", command, path.dir(uri.path, context.temp_allocator), strings.to_string(collection_builder)), &data); !ok { + if code, ok, buffer = common.run_executable(fmt.tprintf("%v check %s %s -no-entry-point %s", command, path.dir(uri.path, context.temp_allocator), strings.to_string(collection_builder), config.checker_args), &data); !ok { log.errorf("Odin check failed with code %v for file %v", code, uri.path); return; } |