Sign in
android
/
platform
/
external
/
valgrind
/
1cd2378
/
.
/
none
/
tests
/
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/'