Searched refs:default_cmd (Results 1 – 1 of 1) sorted by relevance
8 default_cmd="sparse \$file"74 check_command="$default_cmd"532 def_cmd="$default_cmd"587 if [ "$fcmd" != "$default_cmd" ]; then