valgrind/valgrind-3.8.1-filter_gdb.patch
2012-10-13 16:28:46 +02:00

12 lines
420 B
Diff

--- valgrind/gdbserver_tests/filter_gdb (revision 13036)
+++ valgrind/gdbserver_tests/filter_gdb (working copy)
@@ -12,6 +12,8 @@
# memcheck stuff
$dir/filter_memcheck_monitor "$@" |
+# memcheck filter might leave some "..." lines, we are not interested
+sed -e '/^\ \ \ \ \.\.\.$/d' |
# Anonymise or remove :
# delete the initial lines between the launch of vgdb and the