Searched refs:COCCI (Results 1 – 1 of 1) sorted by relevance
72 COCCI="$1"74 OPT=`grep "Option" $COCCI | cut -d':' -f2`82 FILE=`echo $COCCI | sed "s|$srctree/||"`84 echo "Processing `basename $COCCI`"89 sed -ne 's|^///||p' $COCCI108 if [ "`sed -ne 's|^//#||p' $COCCI`" ] ; then110 sed -ne 's|^//#||p' $COCCI117 $FLAGS -sp_file $COCCI $OPT $OPTIONS || \119 $FLAGS -sp_file $COCCI $OPT $OPTIONS -no_show_diff || \121 $FLAGS -sp_file $COCCI $OPT $OPTIONS || \[all …]