@@ -116,6 +116,12 @@ config BR2_PACKAGE_XENOMAI_ENABLE_REGISTRY_PATH
To use the Xenomai default (currently: /var/run/xenomai), leave this
option empty.
+config BR2_PACKAGE_XENOMAI_ADDITIONAL_CONF_OPTS
+ string "Additional configure options"
+ help
+ Specify any additional options to pass to the configure script here.
+ See Xenomai documentation for details.
+
config BR2_PACKAGE_XENOMAI_TESTSUITE
bool "Install testsuite"
help
@@ -52,6 +52,8 @@ else
XENOMAI_CONF_OPTS += --disable-registry
endif
+XENOMAI_CONF_OPTS += $(call qstrip,$(BR2_PACKAGE_XENOMAI_ADDITIONAL_CONF_OPTS))
+
# Some of these files may be desired by some users -- at that point specific
# config options need to be added to keep a particular set.
define XENOMAI_REMOVE_UNNEEDED_FILES