equal
deleted
inserted
replaced
74 > cmp "${markersfile}" "${contentfile}" || diff -u "${markersfile}" "${contentfile}" |
74 > cmp "${markersfile}" "${contentfile}" || diff -u "${markersfile}" "${contentfile}" |
75 > echo '#################################' |
75 > echo '#################################' |
76 > echo '### Exclusive markers ###' |
76 > echo '### Exclusive markers ###' |
77 > cat "${exclufile}" |
77 > cat "${exclufile}" |
78 > # if the matched revs do not have children, we also check the result of strip |
78 > # if the matched revs do not have children, we also check the result of strip |
79 > orphan=`hg log --hidden -T '.\n' --rev "(not (${revs})) and ((${revs})::)" | wc -l | sed -e 's/ //g'` |
79 > children=`hg log --hidden --rev "((${revs})::) - (${revs})"` |
80 > if [ $orphan -eq 0 ]; |
80 > if [ -z "$children" ]; |
81 > then |
81 > then |
82 > printf "# stripping: " |
82 > printf "# stripping: " |
83 > prestripfile="${prefix}-pre-strip.txt" |
83 > prestripfile="${prefix}-pre-strip.txt" |
84 > poststripfile="${prefix}-post-strip.txt" |
84 > poststripfile="${prefix}-post-strip.txt" |
85 > strippedfile="${prefix}-stripped-markers.txt" |
85 > strippedfile="${prefix}-stripped-markers.txt" |