diff options
-rwxr-xr-x | scripts/coccicheck | 13 |
1 files changed, 4 insertions, 9 deletions
diff --git a/scripts/coccicheck b/scripts/coccicheck index 3c2776466d87..823e972149e5 100755 --- a/scripts/coccicheck +++ b/scripts/coccicheck | |||
@@ -9,15 +9,10 @@ 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 | if [ "$KBUILD_EXTMOD" = "" ] ; then | 12 | # Workaround for Coccinelle < 0.2.3 |
13 | # Workaround for Coccinelle < 0.2.3 | 13 | FLAGS="-I $srctree/include -very_quiet" |
14 | FLAGS="-I $srctree/include -very_quiet" | 14 | shift $(( $# - 1 )) |
15 | shift $(( $# - 1 )) | 15 | OPTIONS=$1 |
16 | OPTIONS=$1 | ||
17 | else | ||
18 | echo M= is not currently supported when C=1 or C=2 | ||
19 | exit 1 | ||
20 | fi | ||
21 | else | 16 | else |
22 | ONLINE=0 | 17 | ONLINE=0 |
23 | FLAGS="-very_quiet" | 18 | FLAGS="-very_quiet" |