gdbserver_tests/filter_make_empty

   1 #! /bin/sh
   2
   3 # A filter filtering everything.
   4
   5 # To still allow to see what is happening, the content
   6 # is copied to a file, together with date and process.
   7
   8 ps -lf -p $PPID >> garbage.filtered.out
   9 date            >> garbage.filtered.out
  10 cat             >> garbage.filtered.out