#!/bin/bash

# We're passed the version of the kernel being installed
inst_kern=$1

if [ -x /usr/lib/dkms/dkms_autoinstaller ]; then
    /usr/lib/dkms/dkms_autoinstaller start $inst_kern >&2
fi

if [ ! -e /lib/modules/$inst_kern/build/include ] ; then
    echo "dkms: WARNING: linux headers are missing, which may explain the above failures." >&2
    echo "      please install the linux-headers-$inst_kern package to fix this." >&2
fi
