#! /bin/sh -f

if test $# -gt 0 ; then
    echo "Usage: extractsummary < foo.log > foo.sum"
    exit
fi

awk '/SUMMARY_BEGIN/,/SUMMARY_END/' | grep -v 'SUMMARY'