diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/coccicheck | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/coccicheck b/scripts/coccicheck index 85d31899ad98..7f0d6a6c5000 100755 --- a/scripts/coccicheck +++ b/scripts/coccicheck | |||
| @@ -72,7 +72,7 @@ coccinelle () { | |||
| 72 | # | 72 | # |
| 73 | # $SPATCH -D $MODE $FLAGS -parse_cocci $COCCI $OPT > /dev/null | 73 | # $SPATCH -D $MODE $FLAGS -parse_cocci $COCCI $OPT > /dev/null |
| 74 | 74 | ||
| 75 | if [ $VERBOSE -ne 0 ] ; then | 75 | if [ $VERBOSE -ne 0 -a $ONLINE -eq 0 ] ; then |
| 76 | 76 | ||
| 77 | FILE=`echo $COCCI | sed "s|$srctree/||"` | 77 | FILE=`echo $COCCI | sed "s|$srctree/||"` |
| 78 | 78 | ||