#!/usr/bin/bash

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

[ -x /etc/init.d/dkms ] && \
  /etc/init.d/dkms start $inst_kern

exit 0
