From 098a10d11c5b9f4c36d4841de2125cdcd0376c79 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Fri, 2 Aug 2019 15:01:26 +0200
Subject: [PATCH] Update: in lurette, do not use the stdio mode when -exec is
 provided to lv6

---
 doc/lutin-man/lutin-man.pdf   | Bin 394055 -> 394055 bytes
 lurette-nocaml/src/lurette.ml |   3 +--
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/doc/lutin-man/lutin-man.pdf b/doc/lutin-man/lutin-man.pdf
index 958ddbca92aa11e161d12843da7d942c35b81d65..f75a1ebbc8be97f5f1dd2b68ae6795f68839a529 100644
GIT binary patch
delta 124
zcmX@!CULw?qM?Pcg{g(Pg=Gut)AyVf21bUa28Kpv)8D;kl|pd03w~e~<92p*b8<9w
qb~1A_bTxA{F*LC>vvf2zF*7hTc6M}jHZ-(Tupy*md)9B(yX*k$_9BY_

delta 124
zcmX@!CULw?qM?Pcg{g(Pg=Gut)AyX_MrMYl#)d{l)8D;kl|pd03w~e~<90T1aWpb_
qvUD?dGj=j^vT(Dsv@|y`aWykFH8eAIwsf{rupy*md)9B(yX*kz>LP;x

diff --git a/lurette-nocaml/src/lurette.ml b/lurette-nocaml/src/lurette.ml
index a01de14..760ee47 100644
--- a/lurette-nocaml/src/lurette.ml
+++ b/lurette-nocaml/src/lurette.ml
@@ -1,4 +1,4 @@
-(* 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
    on ocaml *)
 open Event
@@ -57,7 +57,6 @@ let (gen_reactive_program : string -> RdbgArg.reactive_program) =
       | "lutin"   -> LutinRun.make (Array.of_list args)
       | "lv6" | "lus2lic" ->
         if
-          List.mem "-exec" args ||
           List.mem "-2c-exec" args ||
           List.mem "--to-c-execute" args
         then
-- 
GitLab