#!/bin/sh
# drd/tests/filter_error_count.  Generated from filter_error_count.in by configure.

SED=sed

# Filter the error output of Valgrind such that only the line with the error
# summary is kept. Bart Van Assche, February 26, 2008.

$SED -n \
  -e 's/^.*\(ERROR SUMMARY.*\) ([^()]*)$/\1/' \
  -e 's/^\(ERROR SUMMARY: [0-9]* errors\).*$/\1/' \
  -e '/ERROR SUMMARY/p'
