blob: 72e8b59ed19ac0508cee7dab1801a67112e761da [file] [log] [blame]
#! /bin/sh
# This filter should be applied to *every* stderr results. It removes Valgrind
# startup stuff and pid numbers.
# Remove ==pid== and --pid-- and ++pid++ strings
sed "s/\(==\|--\|++\)[0-9]\{3,5\}\1 //" |
# Remove intro line for 1.0.X branch
sed "/valgrind-.*, a memory error detector for x86 GNU\/Linux./d" |
sed "/cachegrind-.*, an I1.D1.L2 cache profiler for x86 GNU\/Linux./d" |
# Remove "<name>, a <description> for x86-linux." line
# and the following copyright notice line for post-1.0.X branch
sed "/^.*, .* for x86-linux\./ , /./ d" |
# Remove other introductory lines
sed "/Built with valgrind-.*, a program execution monitor./d" |
sed "/Copyright (C) 2000-2..., and GNU GPL'd, by Julian Seward\./d" |
sed "/Estimated CPU clock rate is [0-9]\+ MHz/d" |
sed "/For more details, rerun with: -v/d"