Sign in
android
/
platform
/
external
/
valgrind
/
1ef70c6f00ab1b50d1936f77037e9923d8ed8c59
/
.
/
tests
/
filter_discards
blob: df98d4519c6df20869032e6fa3d362f5f87e1ee3 [
file
] [
log
] [
blame
]
#! /bin/sh
dir
=
`dirname $0`
# Remove number and position of discards
sed
"s/discard [0-9]\+ ([0-9]\+ -> [0-9]\+) translations in range/discard ... (... -> ...) translations in range/"
|
$dir
/
filter_addresses