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