diff options
| author | Claudio Fontana <cfontana@suse.de> | 2022-07-04 09:58:32 +0200 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2022-07-28 15:36:17 +0200 |
| commit | bb7e03cb5677b570c5966c7dd946f9ed7acd11bc (patch) | |
| tree | 96b5d496f4e92fbb310aea5333399cb1fbab139b /tools | |
| parent | 37e7b86766244b62a406747bb78e049390d0b528 (diff) | |
stubs: update replay-tools to match replay.h types
detected with GCC 13 [-Werror=enum-int-mismatch]
Solves Issue #1096.
Signed-off-by: Claudio Fontana <cfontana@suse.de>
Cc: Pavel Dovgalyuk <pavel.dovgalyuk@ispras.ru>
Reviewed-by: Thomas Huth <thuth@redhat.com>
Message-Id: <20220704075832.31537-1-cfontana@suse.de>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions