On Saturday 03 July 2010 17:20:34 Kulikov Vasiliy wrote: > Use $KBUILD_EXTMOD instead of $srctree when the latter is not null > to use make M=somedir. > > Signed-off-by: Kulikov Vasiliy <[email protected]> > --- > scripts/coccicheck | 8 +++++++- > 1 files changed, 7 insertions(+), 1 deletions(-) > > diff --git a/scripts/coccicheck b/scripts/coccicheck > index b8bcf1f..7d66a55 100755 > --- a/scripts/coccicheck > +++ b/scripts/coccicheck > @@ -1,5 +1,11 @@ > #!/bin/sh > > +if [ -n "$KBUILD_EXTMOD" ]; then > + CHECK_DIR="$KBUILD_EXTMOD" > +else > + CHECK_DIR="$srctree" > +fi > + > SPATCH="`which ${SPATCH:=spatch}`" > > if [ "$C" = "1" -o "$C" = "2" ]; then > @@ -64,7 +70,7 @@ coccinelle () { > echo ' http://coccinelle.lip6.fr/' > echo '' > > - $SPATCH -D $MODE $FLAGS -sp_file $COCCI $OPT -dir $srctree || exit 1 > + $SPATCH -D $MODE $FLAGS -sp_file $COCCI $OPT -dir $CHECK_DIR || exit 1 > else > $SPATCH -D $MODE $FLAGS -sp_file $COCCI $OPT $OPTIONS || exit 1 > fi >
Acked-by: Nicolas Palix <[email protected]> -- Nicolas Palix Web: http://www.diku.dk/~npalix/ _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
