none/tests/filter_timestamp

   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 happened in r10465).
  25 #
  26 perl -p -e "s/^00:00:00:\d\d\.\d\d\d $/00:00:00:XX:YYY/"
  27