File: filter_discards

package info (click to toggle)
valgrind 1:3.10.0-4~bpo7+1
  • links: PTS, VCS
  • area: main
  • in suites: wheezy-backports
  • size: 97,940 kB
  • sloc: ansic: 589,429; xml: 21,096; exp: 8,751; cpp: 7,366; asm: 6,526; perl: 5,656; sh: 5,334; makefile: 4,946; haskell: 195
file content (8 lines) | stat: -rwxr-xr-x 215 bytes parent folder | download | duplicates (7)
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