debian/tools/perf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#!/bin/bash
full_version=`uname -r`

# Removing flavour from version i.e. generic or server.
flavour_abi=${full_version#*-}
flavour=${flavour_abi#*-}
version=${full_version%-$flavour}
perf="perf_$version"

if ! which "$perf" > /dev/null; then
    echo "$perf not found" >&2
    echo "You may need to install linux-tools-$version" >&2
    exit 2
fi

exec "$perf" "$@"