Messages in this thread | | | Date | Tue, 23 Sep 2014 21:59:32 -0700 | From | Andrew Morton <> | Subject | Re: [PATCH linux-next] Documentation: mic: mpssd: Disable mpssd builds for kernels < 3.13 |
| |
On Tue, 23 Sep 2014 21:51:09 -0700 ashutosh dixit <ashutosh.dixit@intel.com> wrote:
> On Tue, Sep 23 2014 at 05:58:19 PM, Peter Foley <pefoley2@pefoley.com> wrote: > > On Tue, Sep 23, 2014 at 8:51 PM, Andrew Morton > > <akpm@linux-foundation.org> 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.
| |