#! /bin/csh -f

if ($#argv > 0) then
  if ("$argv[1]" == '-h') then
    echo "Usage: extractsummary < foo.log > foo.sum"
    exit
  endif
endif

# find awk executable
foreach myawk ( nawk gawk awk )
  if ( `command -v $myawk` != '') break
end

$myawk '/SUMMARY_BEGIN/,/SUMMARY_END/' | grep -v 'SUMMARY'


