projects / buildroot.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7d04d88) | patch
xenomai: add option for Smokey skin
authorThomas De Schampheleire <thomas.de_schampheleire@nokia.com>
Wed, 19 Apr 2017 20:00:02 +0000 (22:00 +0200)
committerThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Thu, 20 Apr 2017 20:34:08 +0000 (22:34 +0200)
commit83f3b353ef403c4cbe17624c563ca2fba269ef92
treeec1a7fc6a7a60b98c309c5ed521da7b2e828516btree
parent7d04d88b780bef14ef642ae026c45323c0c16456commit | diff
xenomai: add option for Smokey skin

Xenomai has a skin 'Smokey' that Buildroot is currently unaware of, which
means that the associated files are present on target even though most users
will not need them.

Add a config option and associated logic to remove the skin if not selected.

Additionally, fixup order of VxWorks skin removal entry.

Signed-off-by: Thomas De Schampheleire <thomas.de_schampheleire@nokia.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
package/xenomai/Config.in diff | blob | history
package/xenomai/xenomai.mk diff | blob | history