On Sat, Sep 02, 2023 at 05:21:08PM +0100, Javi Merino wrote: > diff --git a/tools/misc/xencov_split b/tools/misc/xencov_split > index e4f68ebb6e..8f1271bfe7 100755 > --- a/tools/misc/xencov_split > +++ b/tools/misc/xencov_split > @@ -1,5 +1,7 @@ > -#!/usr/bin/env python > +#!/usr/bin/env python3
Beside this shebang change, the patch looks good. With the shebang change reverted: Acked-by: Anthony PERARD <[email protected]> Thanks, -- Anthony PERARD
