Lines Matching refs:CMD
306 echo " --git=<cmd> Use this version of the git tool [$GIT_CMD]"807 task_set $TASK cmd "$COMMAND"847 task_get $1 cmd892 local CMD="`task_get_cmd $TASK`"894 echo "TASK $TASK: $DESCR: $CMD"
