---

yaml --- r: 373709 b: refs/heads/master c: 35d88a3 h: refs/heads/master i: 373707: f9ade13 v: v3
git-mirror · Apr 8, 2013 · bd41386 · bd41386
1 parent f9289d5
commit bd41386
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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/||"`