Searched refs:COCCI (Results 1 – 1 of 1) sorted by relevance
46 COCCI="$1"48 OPT=`grep "Option" $COCCI | cut -d':' -f2`56 FILE=`echo $COCCI | sed "s|$srctree/||"`58 echo "Processing `basename $COCCI`"63 sed -ne 's|^///||p' $COCCI82 if [ "`sed -ne 's|^//#||p' $COCCI`" ] ; then84 sed -ne 's|^//#||p' $COCCI90 $SPATCH -D patch $FLAGS -sp_file $COCCI $OPT $OPTIONS || \91 $SPATCH -D report $FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff || \92 $SPATCH -D context $FLAGS -sp_file $COCCI $OPT $OPTIONS || \[all …]