On Mon, Jul 23, 2018 at 9:51 AM SZEDER Gábor <szeder.dev@xxxxxxxxx> wrote: > sha1dc is an external library, that we carry in-tree for convenience > or grab as a submodule, so there is no use in applying our semantic > patches to its source files. > > Therefore, exclude sha1dc's source files from Coccinelle's static > analysis. > > Signed-off-by: SZEDER Gábor <szeder.dev@xxxxxxxxx> > --- > diff --git a/Makefile b/Makefile > @@ -2666,10 +2666,16 @@ check: command-list.h > +ifdef DC_SHA1_SUBMODULE > +COCCI_SOURCES = $(filter-out sha1collisiondetection/%,$(C_SOURCES)) > +else > +COCCI_SOURCES = $(filter-out sha1dc/%,$(C_SOURCES)) > +endif Can't you just filter out both of these unconditionally without worrying about DC_SHA1_SUBMODULE?