From 4ecf04acef6bf172fe61080730d3308d48ec70c8 Mon Sep 17 00:00:00 2001
From: Mark Wielaard <mark@klomp.org>
Date: Sat, 23 Aug 2014 20:49:17 +0000
Subject: [PATCH] filter_shell_output: filter out "Exec format error" added by
 newer bash.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14343
---
 none/tests/filter_shell_output | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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/'
-- 
2.47.2