On 02.09.2023 18:21, Javi Merino wrote: > Closes #154 > > Signed-off-by: Javi Merino <[email protected]>
The title isn't really in line with ... > --- a/tools/misc/xencov_split > +++ b/tools/misc/xencov_split > @@ -1,5 +1,7 @@ > -#!/usr/bin/env python > +#!/usr/bin/env python3 ... this part of the change, and making Py3 a requirement here (assuming that's indeed necessary) surely wants adding a few words as description. Grep-ing the tools/ sub-tree I notice that so far we've avoided explicit uses of "python3", and I assume we would better continue doing so as on a distro with only Py3 a "python3" alias may legitimately not exist. Jan
