Lines Matching full:rev
81 rev=$1
87 prev=`grep $rev "$name.backup" | cut -c 14-`
92 if echo "$global_args" | grep "$rev" > /dev/null; then
97 # echo $update et $selected et $rev_found because $rev et "$global_args"
110 echo "$rev $res" >> $name.out
112 echo "Compilation failed, skip rev $rev"
115 echo "Skip existing results for $rev / $name"
116 echo "$rev $res" >> $name.out
124 cut -f1 -d"#" < changesets.txt | grep -E '[[:alnum:]]' | while read rev
126 if [ ! -z '$rev' ]; then
127 echo "Testing rev $rev"
129 hg up -C $rev > /dev/null