diff options
author | John Levon <john.levon@nutanix.com> | 2022-03-24 17:03:43 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-24 17:03:43 +0000 |
commit | 030d2f6e7978b8ca7577b81d4f48e2771bcd8f47 (patch) | |
tree | c339dc5f7cf78a9414fb15b5ee72c8f6eebef72c /docs | |
parent | d6f239d2b1afb61f10e016d87b79690cd6ec37e7 (diff) | |
download | libvfio-user-030d2f6e7978b8ca7577b81d4f48e2771bcd8f47.zip libvfio-user-030d2f6e7978b8ca7577b81d4f48e2771bcd8f47.tar.gz libvfio-user-030d2f6e7978b8ca7577b81d4f48e2771bcd8f47.tar.bz2 |
use --exit-on-first-error=yes with valgrind (#655)
Catch valgrind issues earlier with less noise.
Signed-off-by: John Levon <john.levon@nutanix.com>
Reviewed-by: Thanos Makatos <thanos.makatos@nutanix.com>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions