aboutsummaryrefslogtreecommitdiff
path: root/src/server/check.odin
diff options
context:
space:
mode:
authorDaniel Gavin <danielgavin5@hotmail.com>2022-08-01 14:37:53 +0200
committerDaniel Gavin <danielgavin5@hotmail.com>2022-08-01 14:37:53 +0200
commit8869f3f639c5dcf222d52e78f56996a4d5abf271 (patch)
tree84406501a142878d180b35e448daf7dce875b859 /src/server/check.odin
parentbbc6dc4b64f3dc8c9cb9c4671be641f31e4cd327 (diff)
Fixes
Diffstat (limited to 'src/server/check.odin')
-rw-r--r--src/server/check.odin11
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
}