Searched refs:OPT (Results 1 – 1 of 1) sorted by relevance
176 OPT=`grep "Options:" $COCCI | cut -d':' -f2`197 echo "with option(s) \"$OPT\""229 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || \231 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || \233 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || \235 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff || exit 1238 $FLAGS --cocci-file $COCCI $OPT $OPTIONS --no-show-diff && \240 $FLAGS --cocci-file $COCCI $OPT $OPTIONS || exit 1242 run_cmd $SPATCH -D $MODE $FLAGS --cocci-file $COCCI $OPT $OPTIONS || exit 1