diff options
-rwxr-xr-x | scripts/coccicheck | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/scripts/coccicheck b/scripts/coccicheck index 6d492c096ade..06fcb3333247 100755 --- a/scripts/coccicheck +++ b/scripts/coccicheck | |||
@@ -29,10 +29,14 @@ else | |||
29 | if [ "$KBUILD_EXTMOD" = "" ] ; then | 29 | if [ "$KBUILD_EXTMOD" = "" ] ; then |
30 | OPTIONS="-dir $srctree $COCCIINCLUDE" | 30 | OPTIONS="-dir $srctree $COCCIINCLUDE" |
31 | else | 31 | else |
32 | OPTIONS="-dir $KBUILD_EXTMOD -patch $srctree $COCCIINCLUDE" | 32 | OPTIONS="-dir $KBUILD_EXTMOD $COCCIINCLUDE" |
33 | fi | 33 | fi |
34 | fi | 34 | fi |
35 | 35 | ||
36 | if [ "$KBUILD_EXTMOD" != "" ] ; then | ||
37 | OPTIONS="-patch $srctree $OPTIONS" | ||
38 | fi | ||
39 | |||
36 | if [ ! -x "$SPATCH" ]; then | 40 | if [ ! -x "$SPATCH" ]; then |
37 | echo 'spatch is part of the Coccinelle project and is available at http://coccinelle.lip6.fr/' | 41 | echo 'spatch is part of the Coccinelle project and is available at http://coccinelle.lip6.fr/' |
38 | exit 1 | 42 | exit 1 |