diff options
| author | Daniel Gavin <danielgavin5@hotmail.com> | 2022-08-01 14:37:53 +0200 |
|---|---|---|
| committer | Daniel Gavin <danielgavin5@hotmail.com> | 2022-08-01 14:37:53 +0200 |
| commit | 8869f3f639c5dcf222d52e78f56996a4d5abf271 (patch) | |
| tree | 84406501a142878d180b35e448daf7dce875b859 /src/server/check.odin | |
| parent | bbc6dc4b64f3dc8c9cb9c4671be641f31e4cd327 (diff) | |
Fixes
Diffstat (limited to 'src/server/check.odin')
| -rw-r--r-- | src/server/check.odin | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/server/check.odin b/src/server/check.odin index 38a999f..6d57b95 100644 --- a/src/server/check.odin +++ b/src/server/check.odin @@ -46,7 +46,16 @@ check :: proc(uri: common.Uri, writer: ^Writer, config: ^common.Config) { command = "odin" } - if code, ok, buffer = common.run_executable(fmt.tprintf("%v check %s %s -no-entry-point %s 2>&1", command, path.dir(uri.path, context.temp_allocator), strings.to_string(collection_builder), config.checker_args), &data); !ok { + if code, ok, buffer = common.run_executable( + fmt.tprintf("%v check %s %s -no-entry-point %s %s", + command, + path.dir(uri.path, context.temp_allocator), + strings.to_string(collection_builder), + config.checker_args, + ODIN_OS == .Linux || ODIN_OS == .Darwin ? "2>&1" : "", + ), + &data + ); !ok { log.errorf("Odin check failed with code %v for file %v", code, uri.path) return } |