1 #! /bin/sh 2 3 dir=`dirname $0` 4 5 sed "s/^==//" | 6 7 perl -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. 11 sed "/ Nulgrind.*$/ d" | 12 sed "/ Copyright.*$/ d" | 13 sed "/ Using Valgrind.*$/ d" | 14 sed "/ 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 # 26 perl -p -e "s/^00:00:00:\d\d\.\d\d\d $/00:00:00:XX:YYY/" 27 28