Lines Matching refs:REVISION
1239 REVISION=`git rev-list -n 1 --until="$GIT_DATE" HEAD`1240 echo "Using sources for date '$GIT_DATE': toolchain/$1 revision $REVISION"1241 run $GIT_CMD checkout $REVISION
