diff options
Diffstat (limited to 'package/xenomai/xenomai.mk')
-rw-r--r-- | package/xenomai/xenomai.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/package/xenomai/xenomai.mk b/package/xenomai/xenomai.mk index 6864e7d83f..d4f990d93a 100644 --- a/package/xenomai/xenomai.mk +++ b/package/xenomai/xenomai.mk @@ -17,7 +17,7 @@ XENOMAI_LICENSE_FILES = debian/copyright include/COPYING src/skins/native/COPYIN XENOMAI_INSTALL_STAGING = YES XENOMAI_INSTALL_TARGET_OPTS = DESTDIR=$(TARGET_DIR) install-user -XENOMAI_INSTALL_STAGING_OPT = DESTDIR=$(STAGING_DIR) install-user +XENOMAI_INSTALL_STAGING_OPTS = DESTDIR=$(STAGING_DIR) install-user XENOMAI_CONF_OPT += --includedir=/usr/include/xenomai/ --disable-doc-install \ $(if $(BR2_ENABLE_DEBUG),--enable-debug,--disable-debug) |