File: filter_timestamp

package info (click to toggle)
valgrind 1:3.12.0~svn20160714-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 120,428 kB
  • ctags: 70,855
  • sloc: ansic: 674,645; exp: 26,134; xml: 21,574; asm: 7,570; cpp: 7,567; makefile: 7,380; sh: 6,188; perl: 5,855; haskell: 195
file content (27 lines) | stat: -rwxr-xr-x 763 bytes parent folder | download | duplicates (5)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
#! /bin/sh

dir=`dirname $0`

sed "s/^==//" |

perl -p -e "s/ [0-9]{1,7}==//" |

# Have to strip the header ourselves, because the timestamp means the
# default stripping doesn't work.
sed "/ Nulgrind.*$/ d" |
sed "/ Copyright.*$/ d" |
sed "/ Using Valgrind.*$/ d" |
sed "/ Command:.*$/ d" |

$dir/filter_stderr |

# At this point there are two lines left which look something like this:
#   00:00:00:00.000
#   00:00:00:01.107  
# We replace the last 5 numbers to allow for a wide range of possible times.
# It's not a great test, but it will catch some breakage (eg. if the times
# don't start near 0, as happened in bug 200990, or if the space following
# the time is omitted, as happend in r10465).
#
perl -p -e "s/^00:00:00:\d\d\.\d\d\d $/00:00:00:XX:YYY/"