From 53b2cfd4081729a70705c19e4c9723dab415f1b7 Mon Sep 17 00:00:00 2001 From: Stephen Rothwell Date: Thu, 5 Dec 2019 07:47:14 +1100 Subject: [PATCH] check_left: skip the "branch" tree --- check_left | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/check_left b/check_left index 079d699..20601c8 100755 --- 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 -- 2.39.5