#! /bin/sh

# Use the generic Cachegrind stderr filter
../filter_stderr