diff options
Diffstat (limited to 'linux/linux-ext-xenomai.mk')
| -rw-r--r-- | linux/linux-ext-xenomai.mk | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/linux/linux-ext-xenomai.mk b/linux/linux-ext-xenomai.mk index f6a5ffd47c..76a9786e4d 100644 --- a/linux/linux-ext-xenomai.mk +++ b/linux/linux-ext-xenomai.mk @@ -4,9 +4,7 @@ # Patch the linux kernel with xenomai extension ################################################################################ -ifeq ($(BR2_LINUX_KERNEL_EXT_XENOMAI),y) -# Add dependency to xenomai (user-space) which provide ksrc part -LINUX_PATCH_DEPENDENCIES += xenomai +LINUX_EXTENSIONS += xenomai # Adeos patch version XENOMAI_ADEOS_PATCH = $(call qstrip,$(BR2_LINUX_KERNEL_EXT_XENOMAI_ADEOS_PATCH)) @@ -24,7 +22,3 @@ define XENOMAI_PREPARE_KERNEL $(XENOMAI_ADEOS_OPTS) \ --verbose endef - -LINUX_PRE_PATCH_HOOKS += XENOMAI_PREPARE_KERNEL - -endif #BR2_LINUX_EXT_XENOMAI |
