debian/tools/generic

   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 this="$0_$version"
   9
  10 if [ ! -f "$this" ]; then
  11     echo "$this not found" >&2
  12     echo "You may need to install linux-tools-$version" >&2
  13     exit 2
  14 fi
  15
  16 exec "$this" "$@"