xenomai: native skin is now called alchemy
authorThomas De Schampheleire <thomas.de_schampheleire@nokia.com>
Wed, 19 Apr 2017 20:00:00 +0000 (22:00 +0200)
committerThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Thu, 20 Apr 2017 20:33:38 +0000 (22:33 +0200)
commitef3392f2caa88ad5bd4beed8a2bd4b1c8d932abf
treef97738e81c98afa26a004eefdc4b9f2c6306e096
parent3e4e0be2d72e982891c50a7878ccff351d47fe49
xenomai: native skin is now called alchemy

Since the introduction of Xenomai 3, the native skin is dubbed Alchemy.
Update the config menu (but leave the symbol name to avoid hurting existing
users needlessly) and fix the unselected-skin cleanup code.

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
package/xenomai/xenomai.mk