Re: [Qemu-devel] [RISU PATCH v5 13/13] new: run_risu.sh script

[Peter Maydell]

On 19 June 2017 at 11:46, Alex Bennée <address@hidden> wrote:
> A simple script to work through running all of a bunch of files with
> record/playback traces. Dumps a summary and the number of failed tests
> at the end.
>
> Signed-off-by: Alex Bennée <address@hidden>
>
> ---
> v5
>   - author, license, usage header
> v3
>   - tweak to allow specifying RISU binary
> ---
>  run_risu.sh | 66 
> +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
>  1 file changed, 66 insertions(+)
>  create mode 100755 run_risu.sh
>
> diff --git a/run_risu.sh b/run_risu.sh

I think this should go into contrib/.

thanks
-- PMM