diff --git a/scripts/coccicheck b/scripts/coccicheck index 85d31899ad9869620984a388a09b1eac78bcb084..7f0d6a6c50007ddc6cd13f6bc6c8157fa97e996f 100755 --- a/scripts/coccicheck +++ b/scripts/coccicheck @@ -72,7 +72,7 @@ coccinelle () { # # $SPATCH -D $MODE $FLAGS -parse_cocci $COCCI $OPT > /dev/null - if [ $VERBOSE -ne 0 ] ; then + if [ $VERBOSE -ne 0 -a $ONLINE -eq 0 ] ; then FILE=`echo $COCCI | sed "s|$srctree/||"`