1#! /bin/sh
2
3dir=`dirname $0`
4
5sed "s/^==//" |
6
7perl -p -e "s/ [0-9]{1,7}==//" |
8
9# Have to strip the header ourselves, because the timestamp means the
10# default stripping doesn't work.
11sed "/ Nulgrind.*$/ d" |
12sed "/ Copyright.*$/ d" |
13sed "/ Using Valgrind.*$/ d" |
14sed "/ Command:.*$/ d" |
15
16$dir/filter_stderr |
17
18# At this point there are two lines left which look something like this:
19#   00:00:00:00.000
20#   00:00:00:01.107  
21# We replace the last 5 numbers to allow for a wide range of possible times.
22# It's not a great test, but it will catch some breakage (eg. if the times
23# don't start near 0, as happened in bug 200990, or if the space following
24# the time is omitted, as happend in r10465).
25#
26perl -p -e "s/^00:00:00:\d\d\.\d\d\d $/00:00:00:XX:YYY/"
27
28