diff --git a/[refs] b/[refs] index 8a6a5b63d527..da2afa09904c 100644 --- a/[refs] +++ b/[refs] @@ -1,2 +1,2 @@ --- -refs/heads/master: 4c6e00cffcd478a369b6fd0ba61f5b0f9643ff43 +refs/heads/master: 35d88a38710583f3b5afc3255d7bc190a50e1af7 diff --git a/trunk/scripts/coccicheck b/trunk/scripts/coccicheck index 85d31899ad98..7f0d6a6c5000 100755 --- a/trunk/scripts/coccicheck +++ b/trunk/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/||"`