[supervision] set LANG=C so errors are in english and thus colored

paparazzi · Sep 13, 2012 · fe630e7 · fe630e7
1 parent 82c5b6f
commit fe630e7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/sw/supervision/paparazzicenter.ml b/sw/supervision/paparazzicenter.ml
@@ -206,7 +206,7 @@ let () =
   gui#console#set_buffer buffer;
 
   let errors = "red", ["error"; "no such file"; "undefined reference"; "failure"]
-  and warnings = "orange", ["warning"]
+  and warnings = "orange", ["warning";"note"]
   and info = "green", ["pragma message"] in
 
   let color_regexps =

diff --git a/sw/supervision/pc_common.ml b/sw/supervision/pc_common.ml
@@ -33,7 +33,7 @@ let conf_dir = Env.paparazzi_home // "conf"
 let my_open_process_in = fun cmd ->
   let (in_read, in_write) = Unix.pipe () in
   let inchan = Unix.in_channel_of_descr in_read in
-  let pid = Unix.create_process_env "/bin/sh" [|"/bin/sh"; "-c"; cmd|] (Array.append (Unix.environment ()) [|"GTK_SETLOCALE=0"|]) Unix.stdin in_write Unix.stderr in
+  let pid = Unix.create_process_env "/bin/sh" [|"/bin/sh"; "-c"; cmd|] (Array.append (Unix.environment ()) [|"GTK_SETLOCALE=0";"LANG=C"|]) Unix.stdin in_write Unix.stderr in
   Unix.close in_write;
   pid, inchan