X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=debian%2Fdkms.conf.in;h=eaf05417e3836a6feaadec5b9d994f989fe3d794;hb=cb6e2b01787b71c39678e9ef98e3b9374a7db378;hp=ae1fc7a08c9ecc0a34c08f61f21817050a2df40f;hpb=3d93284f97b96861dbfeec440eda6bb8c7b735c6;p=openvswitch

diff --git a/debian/dkms.conf.in b/debian/dkms.conf.in
index ae1fc7a0..eaf05417 100644
--- a/debian/dkms.conf.in
+++ b/debian/dkms.conf.in
@@ -1,8 +1,8 @@
 PACKAGE_NAME="openvswitch"
 PACKAGE_VERSION="__VERSION__"
-MAKE="./configure --with-linux=/lib/modules/`uname -r`/build && make -C datapath/linux"
-BUILT_MODULE_NAME[0]=openvswitch_mod
-BUILT_MODULE_NAME[1]=brcompat_mod
+MAKE="./configure --with-linux='${kernel_source_dir}' && make -C datapath/linux"
+BUILT_MODULE_NAME[0]=openvswitch
+BUILT_MODULE_NAME[1]=brcompat
 BUILT_MODULE_LOCATION[0]=datapath/linux/
 BUILT_MODULE_LOCATION[1]=datapath/linux/
 DEST_MODULE_LOCATION[0]=/kernel/drivers/net/openvswitch/