On Wed, Jun 30, 2010 at 23:52 +0200, Nicolas Palix wrote: > On Wednesday 30 June 2010 20:58:54 Kulikov Vasiliy wrote: > > > +if [ "$COCCI" = "" ] ; then > > > + for f in `find $srctree/scripts/coccinelle/ -name '*.cocci' -type f > > > | sort`; do > > > + coccinelle $f $srctree; > > > + done > > > +else > > > + coccinelle $COCCI $srctree > > > +fi > > > > I think it is more usefull to use $M instead of $srctree to run simple > > 'make coccicheck'. > > What is the purpose of $M ? > > I submitted an incremental patch to add support for $C.
>From root Makefile: # Use make M=dir to specify directory of external module to build # Old syntax make ... SUBDIRS=$PWD is still supported # Setting the environment variable KBUILD_EXTMOD take precedence So, I compile all local modules as smth like make -C ../../.. M=$PWD CONFIG_SMTH=m modules If coccinelle is started as 'coccinelle $COCCI $M' then it checks only in directory tree with $M root. _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
