Lines Matching refs:CMD
340 echo " --git=<cmd> Use this version of the git tool [$GIT_CMD]"924 task_set $TASK cmd "$COMMAND"964 task_get $1 cmd1009 local CMD="`task_get_cmd $TASK`"1011 echo "TASK $TASK: $DESCR: $CMD"