Commit 098a10d1 authored by erwan's avatar erwan

Update: in lurette, do not use the stdio mode when -exec is provided to lv6

parent 22687bec
Pipeline #27792 passed with stages
in 8 minutes and 48 seconds
(* Time-stamp: <modified the 11/07/2019 (at 14:56) by Erwan Jahier> *) (* Time-stamp: <modified the 02/08/2019 (at 14:38) by Erwan Jahier> *)
(* Mimick the behavior of 'rdbg -lurette', but without the dependency (* Mimick the behavior of 'rdbg -lurette', but without the dependency
on ocaml *) on ocaml *)
open Event open Event
...@@ -57,7 +57,6 @@ let (gen_reactive_program : string -> RdbgArg.reactive_program) = ...@@ -57,7 +57,6 @@ let (gen_reactive_program : string -> RdbgArg.reactive_program) =
| "lutin" -> LutinRun.make (Array.of_list args) | "lutin" -> LutinRun.make (Array.of_list args)
| "lv6" | "lus2lic" -> | "lv6" | "lus2lic" ->
if if
List.mem "-exec" args ||
List.mem "-2c-exec" args || List.mem "-2c-exec" args ||
List.mem "--to-c-execute" args List.mem "--to-c-execute" args
then then
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment