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 -- 1.7.0.4 _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
