check_left: skip the "branch" tree

diff --git a/check_left b/check_left
index 079d6997c40d370a93ba0f30a2027898af901d10..20601c836db0ef3518af5f71d7574352b8bd6a7e 100755 (executable)
--- a/check_left
+++ b/check_left
@@ -4,7 +4,7 @@ LOG_FILE="../left_over.log"
 
 cp /dev/null "$LOG_FILE"
 
-heads=$(awk -F '\t' '/^#/ {next;} { printf("%s/%s ", $3, $5); }' ../etc/control)
+heads=$(awk -F '\t' '/^#/ {next;} $2=="branch" {next;} { printf("%s/%s ", $3, $5); }' ../etc/control)
 prev_heads=""
 
 total=0