Filter out "(core dumped)" after "Bus error" for consistency. This makes

shell_zerolength pass on my Ubuntu 8.10 machine.



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@9134
This commit is contained in:
Nicholas Nethercote 2009-02-11 00:21:53 +00:00
parent 79062cce2e
commit 5e97a0524e

View File

@ -45,7 +45,7 @@ sed "/warning: line info addresses out of order/d" |
# of the bash process. Newer bash versions redirect such messages properly.
# Suppress any redirected abnormal termination messages. You can find the
# complete list of messages in the bash source file siglist.c.
sed -r "/^(Segmentation fault|Alarm clock|Aborted)( \(core dumped\))?$/d" |
sed -r "/^(Segmentation fault|Alarm clock|Aborted|Bus error)( \(core dumped\))?$/d" |
# Remove any ": dumping core" message as the user might have a
# limit set that prevents the core dump