diff options
author | Greg Dietsche <Gregory.Dietsche@cuw.edu> | 2012-01-20 18:10:35 -0500 |
---|---|---|
committer | Michal Marek <mmarek@suse.cz> | 2012-02-24 17:50:19 -0500 |
commit | 42f1c01b79d54a00012c553b95fc7fe266d82394 (patch) | |
tree | 36930907c9cd3e4a60610c43ff2a8bc1c8c6dd8c | |
parent | 6c635224602d760c1208ada337562f40d8ae93a5 (diff) |
coccicheck: change handling of C={1,2} when M= is set
This patch reverts a portion of d0bc1fb4 so that coccicheck will
work properly when C=1 or C=2.
Reported-and-tested-by: Brice Goglin <Brice.Goglin@inria.fr>
Signed-off-by: Greg Dietsche <Gregory.Dietsche@cuw.edu>
Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Signed-off-by: Michal Marek <mmarek@suse.cz>
-rwxr-xr-x | scripts/coccicheck | 13 |
1 files changed, 4 insertions, 9 deletions
diff --git a/scripts/coccicheck b/scripts/coccicheck index 3c2776466d8..823e972149e 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" |