1 #! /bin/sh 2 3 ./filter_stderr | 4 sed -e 's/^leaked.*$//' -e 's/^dubious.*$//' -e 's/^reachable.*$//' -e 's/^suppressed:.*$//' 5 #! /bin/sh 6 7 ./filter_stderr "$@" | 8 sed -e 's/^leaked.*$//' -e 's/^dubious.*$//' -e 's/^reachable.*$//' -e 's/^suppressed:.*$//' 9
