X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=debian%2Fdkms.conf.in;h=a6dc316b226c7e3e97ee7f567c8c7488fd6ac5ad;hb=17f5d263877b25b42cda73b2fc96a8825ec81b78;hp=56c6398f54d8355d87870fe016656d40032c8577;hpb=49c57a8fef46461da911802e8bf82329924ea329;p=openvswitch

diff --git a/debian/dkms.conf.in b/debian/dkms.conf.in
index 56c6398f..a6dc316b 100644
--- a/debian/dkms.conf.in
+++ b/debian/dkms.conf.in
@@ -1,6 +1,6 @@
 PACKAGE_NAME="openvswitch"
 PACKAGE_VERSION="__VERSION__"
-MAKE="./configure --with-linux=/usr/src/linux-headers-`uname -r` ; make -C datapath/linux"
+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
 BUILT_MODULE_LOCATION[0]=datapath/linux/