Re: [Cocci] [PATCH v3 1/1] runchecks: Generalize make C={1, 2} to support multiple checkers

On Fri, 2018-01-05 at 16:08 -0200, Mauro Carvalho Chehab wrote: > Em Thu, 04 Jan 2018 21:15:31 +0100 > Knut Omang escreveu: > > > > I'm surprised the commit message and the provided documentation say > > > nothing about using CHECK=foo on the command line. That already

Re: [Cocci] [PATCH v3 1/1] runchecks: Generalize make C={1, 2} to support multiple checkers

On Thu, 04 Jan 2018, Knut Omang wrote: > On Thu, 2018-01-04 at 17:50 +0200, Jani Nikula wrote: >> On Thu, 04 Jan 2018, Knut Omang wrote: >> > Add scripts/runchecks which has generic support for running >> > checker tools in a convenient and user

Re: [Cocci] [PATCH v3 1/1] runchecks: Generalize make C={1, 2} to support multiple checkers

> Am 05.01.2018 um 15:30 schrieb Jani Nikula : > > On Thu, 04 Jan 2018, Knut Omang wrote: >> On Thu, 2018-01-04 at 17:50 +0200, Jani Nikula wrote: [...] >> Hmm - I have been burnt by the use of unstable interfaces in Python before, >> when I

Re: [Cocci] [v3] runchecks: Generalize make C={1, 2} to support multiple checkers

> I do feel confident that the benefits of python for this outweighs the > drawbacks > compared to my initial shell script implementation, or using perl or even C. > > Further advice on this appreciated, I got further ideas around this software situation. I am curious on how they fit to your