filter_shell_output: filter out "Exec format error" added by newer bash.

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

diff --git a/none/tests/filter_shell_output b/none/tests/filter_shell_output
index 36782507a4fb61860bb693010f54237db59d278c..050b63d69d453a8c08e80eb6e0a84ea2ac82eb38 100755 (executable)
--- a/none/tests/filter_shell_output
+++ b/none/tests/filter_shell_output
@@ -1,3 +1,4 @@
 #!/bin/sh
 
-"$(dirname $0)"/filter_linenos | sed 's/Is a directory/is a directory/'
+"$(dirname $0)"/filter_linenos | sed 's/Is a directory/is a directory/' \
+ | sed 's/cannot execute binary file: Exec format error/cannot execute binary file/'