repo.or.cz
/
valgrind.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Fix non portability spotted by Florian:
[valgrind.git]
/
tests
/
filter_discards
blob
df98d4519c6df20869032e6fa3d362f5f87e1ee3
1
#! /bin/sh
2
3
dir
=
`dirname
$0
`
4
5
# Remove number and position of discards
6
sed
"s/discard [0-9]\+ ([0-9]\+ -> [0-9]\+) translations in range/discard ... (... -> ...) translations in range/"
|
7
8
$dir
/
filter_addresses