l4/pkg/valgrind/src/valgrind-3.6.0-svn/gdbserver_tests/filter_vgdb

   1 #! /bin/sh
   2
   3 dir=`dirname $0`
   4
   5 $dir/filter_stderr                              |
   6
   7 # Anonymise addresses
   8 $dir/../tests/filter_addresses                  |
   9
  10 # filter vgdb process id,
  11 #             pid
  12 # gdb 7.2 sometimes tries to access address 0x0 (same as with standard gdbserver)
  13 # filter a debian 6.0/ppc32 line
  14 sed -e 's/\(relaying data between gdb and process \)[0-9][0-9]*/\1..../' \
  15     -e 's/\(sending command .* to pid \)[0-9][0-9]*/\1..../'             \
  16     -e '/Cannot access memory at address 0x......../d'                   \
  17     -e '/^[1-9][0-9]*   \.\.\/sysdeps\/powerpc\/powerpc32\/dl-start\.S: No such file or directory\./d'