diff options
author | Bernd Schubert <bernd.schubert@itwm.fraunhofer.de> | 2013-01-29 11:03:37 -0500 |
---|---|---|
committer | Michal Marek <mmarek@suse.cz> | 2013-02-22 05:39:13 -0500 |
commit | 26e56720916a2a84704d46268375f204f58bebc8 (patch) | |
tree | 75f7696f870de3b4d1ccf666c54b86f1ca3c4355 /scripts/coccicheck | |
parent | ff3771cb717fd532d97f354cd169fd10da0d0339 (diff) |
coccicheck: Allow the user to give a V= (verbose) argument
Do not run with verbosity on/off depending on the ONLINE variable,
which gets set with C=1 or C=2, but allow the user to set the
verbosity using kernel default make V= paramemter.
Verbosity is off by default now.
Signed-off-by: Bernd Schubert <bernd.schubert@itwm.fraunhofer.de>
CC: Julia Lawall <Julia.Lawall@lip6.fr>
Acked-by: Nicolas Palix <nicolas.palix@imag.fr>
Signed-off-by: Michal Marek <mmarek@suse.cz>
Diffstat (limited to 'scripts/coccicheck')
-rwxr-xr-x | scripts/coccicheck | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/scripts/coccicheck b/scripts/coccicheck index 1a49d1c7ecfe..f8f15a269e1a 100755 --- a/scripts/coccicheck +++ b/scripts/coccicheck | |||
@@ -2,6 +2,15 @@ | |||
2 | 2 | ||
3 | SPATCH="`which ${SPATCH:=spatch}`" | 3 | SPATCH="`which ${SPATCH:=spatch}`" |
4 | 4 | ||
5 | # The verbosity may be set by the environmental parameter V= | ||
6 | # as for example with 'make V=1 coccicheck' | ||
7 | |||
8 | if [ -n "$V" -a "$V" != "0" ]; then | ||
9 | VERBOSE=1 | ||
10 | else | ||
11 | VERBOSE=0 | ||
12 | fi | ||
13 | |||
5 | if [ "$C" = "1" -o "$C" = "2" ]; then | 14 | if [ "$C" = "1" -o "$C" = "2" ]; then |
6 | ONLINE=1 | 15 | ONLINE=1 |
7 | 16 | ||
@@ -55,7 +64,7 @@ coccinelle () { | |||
55 | # | 64 | # |
56 | # $SPATCH -D $MODE $FLAGS -parse_cocci $COCCI $OPT > /dev/null | 65 | # $SPATCH -D $MODE $FLAGS -parse_cocci $COCCI $OPT > /dev/null |
57 | 66 | ||
58 | if [ "$ONLINE" = "0" ] ; then | 67 | if [ $VERBOSE -ne 0 ] ; then |
59 | 68 | ||
60 | FILE=`echo $COCCI | sed "s|$srctree/||"` | 69 | FILE=`echo $COCCI | sed "s|$srctree/||"` |
61 | 70 | ||