diff options
Diffstat (limited to 'tools/gator/debian/dkms.conf.in')
| -rw-r--r-- | tools/gator/debian/dkms.conf.in | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tools/gator/debian/dkms.conf.in b/tools/gator/debian/dkms.conf.in new file mode 100644 index 00000000000..5cb51e58a5e --- /dev/null +++ b/tools/gator/debian/dkms.conf.in @@ -0,0 +1,7 @@ +PACKAGE_NAME="gator-module" +PACKAGE_VERSION="__VERSION__" +MAKE[0]="make -C ${kernel_source_dir} M=${dkms_tree}/${PACKAGE_NAME}/${PACKAGE_VERSION}/build" +CLEAN="make -C ${kernel_source_dir} M=${dkms_tree}/${PACKAGE_NAME}/${PACKAGE_VERSION}/build clean" +BUILT_MODULE_NAME[0]="gator" +DEST_MODULE_LOCATION[0]="/extra" +AUTOINSTALL=yes |