Re: [PATCH v2 2/5] Documentation: Add doc for runchecks, a checker runner

On Sat, 2017-12-16 at 16:08 +0100, Julia Lawall wrote: > > diff --git a/Documentation/dev-tools/runchecks.rst b/Documentation/dev- > tools/runchecks.rst > > new file mode 100644 > > index 000..b25b3de > > --- /dev/null > > +++ b/Documentation/dev-tools/runchecks.rst > > @@ -0,0 +1,215 @@ > > +.

Re: [PATCH v2 2/5] Documentation: Add doc for runchecks, a checker runner

> diff --git a/Documentation/dev-tools/runchecks.rst > b/Documentation/dev-tools/runchecks.rst > new file mode 100644 > index 000..b25b3de > --- /dev/null > +++ b/Documentation/dev-tools/runchecks.rst > @@ -0,0 +1,215 @@ > +.. Copyright 2017 Knut Omang > + > +Makefile support for running chec