Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
valgrind
/
0a6d897db6b16a7ef73040a67638d29fa3a42199
/
.
/
none
/
tests
/
scripts
/
filter_shell_output
blob: 050b63d69d453a8c08e80eb6e0a84ea2ac82eb38 [
file
] [
log
] [
blame
]
#!/bin/sh
"$(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/'