Re: [PATCH] stubs: update replay-tools to match replay.h types

2022-07-28 Thread Paolo Bonzini
Queued, thanks. Paolo

Re: [PATCH] stubs: update replay-tools to match replay.h types

2022-07-04 Thread Thomas Huth
On 04/07/2022 09.58, Claudio Fontana wrote: detected with GCC 13 [-Werror=enum-int-mismatch] Solves Issue #1096. Signed-off-by: Claudio Fontana Cc: Pavel Dovgalyuk --- stubs/replay-tools.c | 9 + 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/stubs/replay-tools.c

[PATCH] stubs: update replay-tools to match replay.h types

2022-07-04 Thread Claudio Fontana
detected with GCC 13 [-Werror=enum-int-mismatch] Solves Issue #1096. Signed-off-by: Claudio Fontana Cc: Pavel Dovgalyuk --- stubs/replay-tools.c | 9 + 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/stubs/replay-tools.c b/stubs/replay-tools.c index