Re: [PATCH 1/2] patman: do not hardcode coverage tool

2022-08-31 Thread Michal Suchánek
Hello, On Wed, Aug 31, 2022 at 12:08:32PM +0200, Quentin Schulz wrote: > Hi Michal, > > On 8/30/22 12:11, Michal Suchánek wrote: > > On Tue, Aug 30, 2022 at 12:01:55PM +0200, Quentin Schulz wrote: > > > Hi Michal, > > > > > > On 8/25/22 08:49, Michal Suchanek wrote: > > > > The coverage tool nam

Re: [PATCH 1/2] patman: do not hardcode coverage tool

2022-08-31 Thread Quentin Schulz
Hi Michal, On 8/30/22 12:11, Michal Suchánek wrote: On Tue, Aug 30, 2022 at 12:01:55PM +0200, Quentin Schulz wrote: Hi Michal, On 8/25/22 08:49, Michal Suchanek wrote: The coverage tool name varies across distributions. Add COVERAGE variable to specify the tool name. Also there is one place

Re: [PATCH 1/2] patman: do not hardcode coverage tool

2022-08-30 Thread Michal Suchánek
On Tue, Aug 30, 2022 at 12:01:55PM +0200, Quentin Schulz wrote: > Hi Michal, > > On 8/25/22 08:49, Michal Suchanek wrote: > > The coverage tool name varies across distributions. > > > > Add COVERAGE variable to specify the tool name. > > > > Also there is one place where prefix is prepended to t

Re: [PATCH 1/2] patman: do not hardcode coverage tool

2022-08-30 Thread Quentin Schulz
Hi Michal, On 8/25/22 08:49, Michal Suchanek wrote: The coverage tool name varies across distributions. Add COVERAGE variable to specify the tool name. Also there is one place where prefix is prepended to the tool path, remove the prefix. Signed-off-by: Michal Suchanek --- doc/develop/test