Re: [PATCH linux-next] Documentation: mic: mpssd: Disable mpssd builds for kernels < 3.13

From: ashutosh dixit
Date: Wed Sep 24 2014 - 01:20:59 EST

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
>> >
>> > 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-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at
Please read the FAQ at