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

From: ashutosh dixit
Date: Wed Sep 24 2014 - 00:51:17 EST

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
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