filter_shell_output: filter out "Exec format error" added by newer bash.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14343 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/none/tests/filter_shell_output b/none/tests/filter_shell_output
index 3678250..050b63d 100755
--- 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/'
