diff options
| -rw-r--r-- | package/xenomai/Config.in | 5 | ||||
| -rw-r--r-- | package/xenomai/xenomai.mk | 6 |
2 files changed, 10 insertions, 1 deletions
diff --git a/package/xenomai/Config.in b/package/xenomai/Config.in index 31d63f1bf0..d6474bd0c5 100644 --- a/package/xenomai/Config.in +++ b/package/xenomai/Config.in @@ -137,6 +137,11 @@ config BR2_PACKAGE_XENOMAI_RTAI_SKIN help This option allows to install the RTAI Xenomai skin +config BR2_PACKAGE_XENOMAI_SMOKEY_SKIN + bool "Smokey skin" + help + This option allows to install the Smokey Xenomai skin + config BR2_PACKAGE_XENOMAI_UITRON_SKIN bool "uITRON skin" help diff --git a/package/xenomai/xenomai.mk b/package/xenomai/xenomai.mk index e93fcf4e04..086614457a 100644 --- a/package/xenomai/xenomai.mk +++ b/package/xenomai/xenomai.mk @@ -94,10 +94,11 @@ endif XENOMAI_REMOVE_SKIN_LIST += $(if $(BR2_PACKAGE_XENOMAI_NATIVE_SKIN),,alchemy) XENOMAI_REMOVE_SKIN_LIST += $(if $(BR2_PACKAGE_XENOMAI_POSIX_SKIN),,posix) -XENOMAI_REMOVE_SKIN_LIST += $(if $(BR2_PACKAGE_XENOMAI_VXWORKS_SKIN),,vxworks) XENOMAI_REMOVE_SKIN_LIST += $(if $(BR2_PACKAGE_XENOMAI_PSOS_SKIN),,psos) XENOMAI_REMOVE_SKIN_LIST += $(if $(BR2_PACKAGE_XENOMAI_RTAI_SKIN),,rtai) +XENOMAI_REMOVE_SKIN_LIST += $(if $(BR2_PACKAGE_XENOMAI_SMOKEY_SKIN),,smokey) XENOMAI_REMOVE_SKIN_LIST += $(if $(BR2_PACKAGE_XENOMAI_UITRON_SKIN),,uitron) +XENOMAI_REMOVE_SKIN_LIST += $(if $(BR2_PACKAGE_XENOMAI_VXWORKS_SKIN),,vxworks) XENOMAI_REMOVE_SKIN_LIST += $(if $(BR2_PACKAGE_XENOMAI_VRTX_SKIN),,vrtx) define XENOMAI_REMOVE_SKINS @@ -106,6 +107,9 @@ define XENOMAI_REMOVE_SKINS if [ $$i == "posix" ] ; then \ rm -f $(TARGET_DIR)/usr/lib/posix.wrappers ; \ fi ; \ + if [ $$i == "smokey" ] ; then \ + rm -f $(TARGET_DIR)/usr/bin/smokey* ; \ + fi ; \ done endef |
