Bug#659685: [ovs-dev] [PATCH] debian: Use provided kernel source dir instead of host kernel version.

2012-02-14 Thread Ben Pfaff
Thank you, Justin and Simon. Simon, I added your Tested-by: and pushed this to master and branch-1.[345]. On Tue, Feb 14, 2012 at 12:18:01PM +0900, Simon Horman wrote: > I have tested this patch and the path and resulting package > appear to be correct. > > I see ./configure --with-linux=/usr/sr

Bug#659685: [ovs-dev] [PATCH] debian: Use provided kernel source dir instead of host kernel version.

2012-02-13 Thread Simon Horman
I have tested this patch and the path and resulting package appear to be correct. I see ./configure --with-linux=/usr/src/linux-headers-3.1.0-1-amd64 in the resulting config.log On Mon, Feb 13, 2012 at 06:05:19PM -0800, Justin Pettit wrote: > Assuming it's the fully correct path, it looks reasona

Bug#659685: [ovs-dev] [PATCH] debian: Use provided kernel source dir instead of host kernel version.

2012-02-13 Thread Justin Pettit
Assuming it's the fully correct path, it looks reasonable to me. --Justin On Feb 13, 2012, at 4:15 PM, Ben Pfaff wrote: > DKMS passes in an explicit variable for the kernel source directory, so we > should use that instead of `uname -r`. > > CC: 659...@bugs.debian.org > Reported-by: Thomas Goi