commit | d011646c52f9745f7308b53f89303c4ce45cb20b | [log] [tgz] |
---|---|---|
author | mjw <mjw@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sat Aug 23 20:49:17 2014 +0000 |
committer | mjw <mjw@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sat Aug 23 20:49:17 2014 +0000 |
tree | 8318d6a6f5f91e96fb3d8af78566fce543bca2d7 | |
parent | 990406896264d0e7b059024aef476e9bf8252ea5 [diff] |
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