~ubuntu-branches/debian/stretch/dkms/stretch

1
2
3
4
5
6
7
8
9
10
11
12
13
#!/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