Re: [Qemu-devel] [PATCH v3 40/50] linux-user: support -plugin option

2019-06-17 Thread Richard Henderson
On 6/14/19 10:11 AM, Alex Bennée wrote: > From: Lluís Vilanova > > Signed-off-by: Lluís Vilanova > [ cota: s/instrument/plugin ] > Signed-off-by: Emilio G. Cota > --- > linux-user/main.c | 18 ++ > 1 file changed, 18 insertions(+) Reviewed-by: Richard Henderson r~

[Qemu-devel] [PATCH v3 40/50] linux-user: support -plugin option

2019-06-14 Thread Alex Bennée
From: Lluís Vilanova Signed-off-by: Lluís Vilanova [ cota: s/instrument/plugin ] Signed-off-by: Emilio G. Cota --- linux-user/main.c | 18 ++ 1 file changed, 18 insertions(+) diff --git a/linux-user/main.c b/linux-user/main.c index a59ae9439d..1009eab92d 100644 --- a/linux-use