Re: [PATCH v2] coccicheck: support $COCCI being defined as a directory

From: Markus Elfring
Date: Thu Oct 24 2019 - 03:55:59 EST

> Second the commit log could be more concise as:

I like your desire for choosing a more appropriate commit message.

> Allow defining COCCI as a directory that contains .cocci files.

I would prefer to concentrate the patch subject on other information.

> In general, at least in simple cases, it is not necessary to mention the
> name of the file you are modifying in the comit log, because one can see
> that just below from looking at the diffstat and the patch.

This view can be reasonable. - How does it fit to the usual requirement
for the specification of a âsubsystemâ (or âprefixâ) according to the
canonical patch format?