debian/tools/perf

   1 #!/bin/bash
   2 full_version=`uname -r`
   3
   4 # Removing flavour from version i.e. generic or server.
   5 flavour_abi=${full_version#*-}
   6 flavour=${flavour_abi#*-}
   7 version=${full_version%-$flavour}
   8 perf="perf_$version"
   9
  10 if ! which "$perf" > /dev/null; then
  11     echo "$perf not found" >&2
  12     echo "You may need to install linux-tools-$version" >&2
  13     exit 2
  14 fi
  15
  16 exec "$perf" "$@"