check_left: random changes

diff --git a/check_left b/check_left
index 9c1a27b2aecd18ba9021a3a7b73c8ec964e59fcb..553bd90da6da6650e1ba64bb3c160c0b46808359 100755 (executable)
--- a/check_left
+++ b/check_left
@@ -12,19 +12,20 @@ log()
 heads=$(grep -v '^#' ../real_control | awk -F '        ' '$2=="quilt" { printf("quilt/%s ", $3); } $2=="git" { printf("%s/%s ", $3, $5); }')
 
 for h in $heads; do
+       echo $h
        mb=$(git merge-base origin/master $h)
        rh=$(git rev-parse $h)
        [ "$mb" = "$rh" ] &&
                continue
 
-#      c=$(git rev-list --pretty='format:%m%H' --no-merges --left-right --cherry-pick origin/master...$h | sed -n 's/^>//p')
-#      [ -z "$c" ] &&
-#              continue
+       c=$(git rev-list --pretty='format:%m%H' --no-merges --left-right --cherry-pick origin/master...$h | sed -n 's/^>//p')
+       [ -z "$c" ] &&
+               continue
 
-##     git shortlog --no-walk $c 2>&1 | tee -a $LOG_FILE
-#      log $h "$(echo $c | wc -w)"
+       log $h "$(echo $c | wc -w)" | tee -a $LOG_FILE
+       git shortlog --no-walk $c 2>&1 | tee -a $LOG_FILE
 
-       gitk stable..$h
+#      gitk stable..$h
 
 done