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 ? Regards, Sudeep -- 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