More output filter tuning.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7596

diff --git a/exp-drd/tests/filter_stderr b/exp-drd/tests/filter_stderr
index 99dd455804bcb7efab7c8ecdc675e37af52375d2..5e772c4a4286d4fa02a313faab5a3060a8c9bb55 100755 (executable)
--- a/exp-drd/tests/filter_stderr
+++ b/exp-drd/tests/filter_stderr
@@ -11,6 +11,7 @@ $dir/../../tests/filter_stderr_basic |
 sed \
 -e "/^exp-drd, a data race detector\.$/d" \
 -e "/^Alarm clock$/d" \
+-e "/^Aborted (core dumped)$/d" \
 -e "s/^Allocation context: stack of thread \([0-9]*\), offset -[0-9]*$/Allocation context: stack of thread \1, offset .../" \
 -e "/^warning: evaluate_Dwarf3_Expr: unhandled DW_OP_.*/d" \
 -e "s/, in frame #[0-9]* of thread /, in frame #? of thread /" \