summaryrefslogtreecommitdiff
path: root/tools/gator/debian/dkms.conf.in
diff options
context:
space:
mode:
authorJon Medhurst <tixy@linaro.org>2012-05-17 11:55:16 +0100
committerJon Medhurst <tixy@linaro.org>2012-05-23 09:07:43 +0100
commit75ae3ec8fe927285d2220acb87a2fa087b9d5f47 (patch)
tree000071d4ba72312df1576dfe12fd89eaea724273 /tools/gator/debian/dkms.conf.in
parent2934a4eeb47b768fd30a4aa061c8d1deaa5499dd (diff)
gator: ubuntu: Add DKMS package
Signed-off-by: Jon Medhurst <tixy@linaro.org>
Diffstat (limited to 'tools/gator/debian/dkms.conf.in')
-rw-r--r--tools/gator/debian/dkms.conf.in7
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