aboutsummaryrefslogtreecommitdiff
path: root/package/xenomai/xenomai.mk
diff options
context:
space:
mode:
Diffstat (limited to 'package/xenomai/xenomai.mk')
-rw-r--r--package/xenomai/xenomai.mk2
1 files changed, 1 insertions, 1 deletions
diff --git a/package/xenomai/xenomai.mk b/package/xenomai/xenomai.mk
index 4bc0871bda..6864e7d83f 100644
--- a/package/xenomai/xenomai.mk
+++ b/package/xenomai/xenomai.mk
@@ -16,7 +16,7 @@ XENOMAI_LICENSE = headers: GPLv2+ with exception, libraries: LGPLv2.1+, kernel:
XENOMAI_LICENSE_FILES = debian/copyright include/COPYING src/skins/native/COPYING ksrc/nucleus/COPYING
XENOMAI_INSTALL_STAGING = YES
-XENOMAI_INSTALL_TARGET_OPT = DESTDIR=$(TARGET_DIR) install-user
+XENOMAI_INSTALL_TARGET_OPTS = DESTDIR=$(TARGET_DIR) install-user
XENOMAI_INSTALL_STAGING_OPT = DESTDIR=$(STAGING_DIR) install-user
XENOMAI_CONF_OPT += --includedir=/usr/include/xenomai/ --disable-doc-install \