[Buildroot] [PATCH] linux: support multiple custom DTS files

[Thomas Petazzoni]

Dear Philippe Proulx,

On Mon, 28 Jul 2014 19:52:43 -0400, Philippe Proulx wrote:

> Well then you should also apply this to the help text of
> BR2_LINUX_KERNEL_INTREE_DTS_NAME because I just
> copied this as is to keep it consistent:
> 
> config BR2_LINUX_KERNEL_INTREE_DTS_NAME
>   string "Device Tree Source file names"
>   depends on BR2_LINUX_KERNEL_USE_INTREE_DTS
>   help
>     Name of the device tree source file, without
>     the trailing .dts. You can provide a list of
>     dts files to build, separated by spaces.

Sure, but that should be part of a separate patch. Maybe you just
volunteered to send such a patch? :-)

Thanks!

Thomas
-- 
Thomas Petazzoni, CTO, Free Electrons
Embedded Linux, Kernel and Android engineering
http://free-electrons.com