Searched refs:OPT (Results 1 – 1 of 1) sorted by relevance
187 OPT=`grep "Options:" $COCCI | cut -d':' -f2`208 echo "with option(s) \"$OPT\""240 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || \242 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || \244 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || \246 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || exit 1249 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff && \251 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || exit 1253 run_cmd $SPATCH -D $MODE $FLAGS --cocci-file $COCCI $OPT $OPTIONS || exit 1