Lines Matching refs:CMD
366 echo " --git=<cmd> Use this version of the git tool [$GIT_CMD]"942 task_set $TASK cmd "$COMMAND"982 task_get $1 cmd1027 local CMD="`task_get_cmd $TASK`"1029 echo "TASK $TASK: $DESCR: $CMD"