diff options
| author | Thomas De Schampheleire <patrickdepinguin@gmail.com> | 2014-09-27 21:32:50 +0200 |
|---|---|---|
| committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2014-10-04 18:56:25 +0200 |
| commit | ed8338b8683d89af895fb4d130c9344b38277b8b (patch) | |
| tree | f7b01c7a98cc8814b2e01f613802cca9b1df05f1 /linux/linux-ext-xenomai.mk | |
| parent | f6fe8932df4b92dcc27ad012e5bd3001ec9acc42 (diff) | |
packages: rename misc. occurrences of _OPT into _OPTS
To be consistent with the recent change of FOO_MAKE_OPT into FOO_MAKE_OPTS,
change remaining occurrences of _OPT into _OPTS.
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 'linux/linux-ext-xenomai.mk')
| -rw-r--r-- | linux/linux-ext-xenomai.mk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/linux/linux-ext-xenomai.mk b/linux/linux-ext-xenomai.mk index 115d4a844..84d2c17f6 100644 --- a/linux/linux-ext-xenomai.mk +++ b/linux/linux-ext-xenomai.mk @@ -11,9 +11,9 @@ LINUX_DEPENDENCIES += xenomai # Adeos patch version XENOMAI_ADEOS_PATCH = $(call qstrip,$(BR2_LINUX_KERNEL_EXT_XENOMAI_ADEOS_PATCH)) ifeq ($(XENOMAI_ADEOS_PATCH),) -XENOMAI_ADEOS_OPT = --default +XENOMAI_ADEOS_OPTS = --default else -XENOMAI_ADEOS_OPT = --adeos=$(XENOMAI_ADEOS_PATCH) +XENOMAI_ADEOS_OPTS = --adeos=$(XENOMAI_ADEOS_PATCH) endif # Prepare kernel patch @@ -21,7 +21,7 @@ define XENOMAI_PREPARE_KERNEL $(XENOMAI_DIR)/scripts/prepare-kernel.sh \ --linux=$(LINUX_DIR) \ --arch=$(KERNEL_ARCH) \ - $(XENOMAI_ADEOS_OPT) \ + $(XENOMAI_ADEOS_OPTS) \ --verbose endef |