blob: df98d4519c6df20869032e6fa3d362f5f87e1ee3 (
plain)
1
2
3
4
5
6
7
8
|
#! /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
|