|
From: <sv...@va...> - 2014-08-23 20:49:24
|
Author: mjw
Date: Sat Aug 23 20:49:17 2014
New Revision: 14343
Log:
filter_shell_output: filter out "Exec format error" added by newer bash.
Modified:
trunk/none/tests/filter_shell_output
Modified: trunk/none/tests/filter_shell_output
==============================================================================
--- trunk/none/tests/filter_shell_output (original)
+++ trunk/none/tests/filter_shell_output Sat Aug 23 20:49:17 2014
@@ -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/'
|