Re: [tip:perf/core] tools: Connect to the kernel build system

[Alex Riesen]

On Fri, Apr 13, 2012 at 20:18, tip-bot for Borislav Petkov
<borislav.petkov@xxxxxxx> wrote:
> Also, if you want to get what the possible targets are, simply calling
>
> $ make tools/
>
> should give you the short help.

Is "make tools" (without trailing slash) reserved for something?
If not, it might make sense to allow it also (to mean "make tools/").
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/