diff options
Diffstat (limited to 'debian/bin/perf')
| -rw-r--r-- | debian/bin/perf | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/debian/bin/perf b/debian/bin/perf new file mode 100644 index 00000000..fc2c0797 --- /dev/null +++ b/debian/bin/perf @@ -0,0 +1,11 @@ +#!/bin/bash + +# Execute the right version of perf for the current kernel. +version="$(uname -r)" +version="${version%%-*}" +shopt -s execfail +exec "perf_$version" "$@" + +# Not found? Tell the user which package to install. +echo >&2 "E: linux-tools-$version is not installed." +exit 1 |