On Tue, Sep 23 2014 at 09:59:32 PM, Andrew Morton <akpm@xxxxxxxxxxxxxxxxxxxx> wrote: > On Tue, 23 Sep 2014 21:51:09 -0700 ashutosh dixit <ashutosh.dixit@xxxxxxxxx> wrote: > >> On Tue, Sep 23 2014 at 05:58:19 PM, Peter Foley <pefoley2@xxxxxxxxxxx> wrote: >> > On Tue, Sep 23, 2014 at 8:51 PM, Andrew Morton >> > <akpm@xxxxxxxxxxxxxxxxxxxx> wrote: >> >> Can't we just fix the Makefiles? Cook up a rule which makes >> >> headers_install (if needed) before building Documentation/? >> > >> > Currently, the ordering is enforced by >> > http://git.kernel.org/cgit/linux/kernel/git/next/linux-next.git/tree/Makefile#n946 >> > I'll take a look at making Documentation/ depend on headers_install. >> > >> I would think it is preferable to keep the 'make headers_install' and >> 'make Documentation/' steps separate, as they currently are, so that >> only the people who need to upgrade system headers do that, rather than >> forcing people to upgrade system headers each time something in >> Documentation/ is recompiled and moreover doing that compile/install as >> root. > > headers_install installs into ./usr/include and ./include. It's local > to the kernel build tree. Sorry about that. Yes, the build indeed succeeds if run after headers_install, so making Documentation/ depend on headers_install is indeed a possibility. -- To unsubscribe from this list: send the line "unsubscribe linux-doc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
