#!/bin/zsh

# 2008 Joost van Baal
# This script is in the public domain

# see also git/ad1810-private/systems/gelfand/vanbaal/bin/total : awk

# grep diff log.pod| cut -d' ' -f1 | total

total=0

while read s
do
    total=$(( $total + $s ))
done

echo $total