diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/coccicheck | 19 |
1 files changed, 14 insertions, 5 deletions
diff --git a/scripts/coccicheck b/scripts/coccicheck index 1bb1a1bd2daa..3c2776466d87 100755 --- a/scripts/coccicheck +++ b/scripts/coccicheck | |||
| @@ -9,14 +9,23 @@ if [ "$C" = "1" -o "$C" = "2" ]; then | |||
| 9 | # FLAGS="-ignore_unknown_options -very_quiet" | 9 | # FLAGS="-ignore_unknown_options -very_quiet" |
| 10 | # OPTIONS=$* | 10 | # OPTIONS=$* |
| 11 | 11 | ||
| 12 | # Workaround for Coccinelle < 0.2.3 | 12 | if [ "$KBUILD_EXTMOD" = "" ] ; then |
| 13 | FLAGS="-I $srctree/include -very_quiet" | 13 | # Workaround for Coccinelle < 0.2.3 |
| 14 | shift $(( $# - 1 )) | 14 | FLAGS="-I $srctree/include -very_quiet" |
| 15 | OPTIONS=$1 | 15 | shift $(( $# - 1 )) |
| 16 | OPTIONS=$1 | ||
| 17 | else | ||
| 18 | echo M= is not currently supported when C=1 or C=2 | ||
| 19 | exit 1 | ||
| 20 | fi | ||
| 16 | else | 21 | else |
| 17 | ONLINE=0 | 22 | ONLINE=0 |
| 18 | FLAGS="-very_quiet" | 23 | FLAGS="-very_quiet" |
| 19 | OPTIONS="-dir $srctree" | 24 | if [ "$KBUILD_EXTMOD" = "" ] ; then |
| 25 | OPTIONS="-dir $srctree" | ||
| 26 | else | ||
| 27 | OPTIONS="-dir $KBUILD_EXTMOD -patch $srctree -I $srctree/include -I $KBUILD_EXTMOD/include" | ||
| 28 | fi | ||
| 20 | fi | 29 | fi |
| 21 | 30 | ||
| 22 | if [ ! -x "$SPATCH" ]; then | 31 | if [ ! -x "$SPATCH" ]; then |
