From: Mark Wielaard <mark@klomp.org>
Date: Sat, 23 Aug 2014 20:49:17 +0000 (+0000)
Subject: filter_shell_output: filter out "Exec format error" added by newer bash.
X-Git-Tag: svn/VALGRIND_3_10_0~147
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4ecf04acef6bf172fe61080730d3308d48ec70c8;p=thirdparty%2Fvalgrind.git

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 36782507a4..050b63d69d 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/'