diff options
| author | Thomas De Schampheleire <patrickdepinguin@gmail.com> | 2014-09-27 21:32:40 +0200 |
|---|---|---|
| committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2014-10-04 18:48:33 +0200 |
| commit | 57f2b8d2558ca47ffad01f3eadd245dd893e8154 (patch) | |
| tree | 8dbd7a88f7c6554b46c2d237bd0f9075c9e2f670 /package/xenomai/xenomai.mk | |
| parent | b1993430346a8fed4607cfb565104cc33b598ea1 (diff) | |
| download | buildroot-57f2b8d2558ca47ffad01f3eadd245dd893e8154.tar.gz buildroot-57f2b8d2558ca47ffad01f3eadd245dd893e8154.zip | |
packages: rename FOO_INSTALL_TARGET_OPT into FOO_INSTALL_TARGET_OPTS
To be consistent with the recent change of FOO_MAKE_OPT into FOO_MAKE_OPTS,
make the same change for FOO_INSTALL_TARGET_OPT.
Sed command used:
find * -type f | xargs sed -i 's#_INSTALL_TARGET_OPT\>#&S#g'
Signed-off-by: Thomas De Schampheleire <thomas.de.schampheleire@gmail.com>
Reviewed-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
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 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 \ |
