| njn | d6db259 | 2009-07-24 05:16:31 +0000 | [diff] [blame] | 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" | |
| njn | 53162bf | 2009-07-29 23:34:49 +0000 | [diff] [blame] | 14 | sed "/ Command:.*$/ d" | |
| njn | d6db259 | 2009-07-24 05:16:31 +0000 | [diff] [blame] | 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 | |