xenomai: add string option for additional configure options
authorThomas De Schampheleire <thomas.de_schampheleire@nokia.com>
Wed, 19 Apr 2017 20:00:07 +0000 (22:00 +0200)
committerThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Thu, 20 Apr 2017 21:07:03 +0000 (23:07 +0200)
commite9470687c0feeedec6cf7730ab95f5d35b62850b
tree1dd9401e4ef74825b31a5840db183b4c2875a55c
parent78672fdade49de4c0dc551f1b3a9ac7c61c1af01
xenomai: add string option for additional configure options

Xenomai has many configure options that users may or may not want to set.
Providing individual Buildroot config options for every single one of them
is not maintainable.

Therefore, add a string option to allow the needed flexibility.
Important options, or those that have 'select/depends on' impact, can still
be turned into real Buildroot config options.

Signed-off-by: Thomas De Schampheleire <thomas.de_schampheleire@nokia.com>
[Thomas: rewrap Config.in help text.]
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
package/xenomai/Config.in
package/xenomai/xenomai.mk