#!/bin/sh
# wlog - show 'make world' log summary
# usage : wlog /var/tmp/world.log
#
case $# in
0) log=/var/tmp/world.log;;
*) log="$@"; shift;;
esac
for i in $log; do
	echo "$i"
	( egrep -n '^>>>' $i
	wc -l $i | sed 's/^ *//;s/ /:/') |
	awk -F: '{
		if (x != 0)
			printf("%6d %s\n", $1 - x, y);
		x = $1;
		sub(/^[^:]*/, "");
		y = sprintf("%6d%s", x, $0);
	}
	END {print "       " y}'
done