On Tue, 2016-01-26 at 11:57 +0000, Sudeep Holla wrote: > On Thu, Jan 14, 2016 at 11:17 AM, Sudeep Holla <sudeep.holla@xxxxxxx> wrote: > > On 14/01/16 03:37, Michael Ellerman wrote: > > > > > > Does the patch below work for you? It uses INSTALL_HDR_PATH if it is > > > defined, > > > or otherwise KERNEL_HEADERS if it is defined, or finally it guesses at > > > ../../../usr/include (ie. the base of the source tree). > > > > > > > Yes it does work fine. So feel free to add my tested-by when you post > > the patch. Thanks for the quick and clean fix. > > > > Any update on this patch ? Sorry, got stuck behind other stuff. Will try and get it sent out next week. cheers -- To unsubscribe from this list: send the line "unsubscribe linux-api" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html