Lines Matching refs:CMD
368 echo " --git=<cmd> Use this version of the git tool [$GIT_CMD]"944 task_set $TASK cmd "$COMMAND"984 task_get $1 cmd1029 local CMD="`task_get_cmd $TASK`"1031 echo "TASK $TASK: $DESCR: $CMD"