configs/freescale_{p1025twr, t1040d4rdb}: headers version
authorVincent Stehlé <vincent.stehle@laposte.net>
Thu, 12 Apr 2018 21:26:06 +0000 (23:26 +0200)
committerThomas Petazzoni <thomas.petazzoni@bootlin.com>
Thu, 12 Apr 2018 21:30:31 +0000 (23:30 +0200)
The freescale p1025twr and t1040d4rdb defconfigs use a 4.15 series kernel;
specify BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_15 accordingly.

This fixes the following build error:

  Incorrect selection of kernel headers: expected 4.16.x, got 4.15.x

Signed-off-by: Vincent Stehlé <vincent.stehle@laposte.net>
Cc: Matthew Weber <matthew.weber@rockwellcollins.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
configs/freescale_p1025twr_defconfig
configs/freescale_t1040d4rdb_defconfig

index 13ec517fbdb2be29098b5cf814f92246d44d5218..f476d9270664bb04c990097f7223e2317f9c32a3 100644 (file)
@@ -2,6 +2,9 @@
 BR2_powerpc=y
 BR2_powerpc_8548=y
 
+# Linux headers same as kernel, a 4.15 series
+BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_15=y
+
 # Serial port config
 BR2_TARGET_GENERIC_GETTY_PORT="ttyS0"
 
index 6b09e696461c60719c886d0a55d0b6f640e25258..b8d162736cb8d0758d6922aae867a464ce115314 100644 (file)
@@ -2,6 +2,9 @@
 BR2_powerpc64=y
 BR2_powerpc_e5500=y
 
+# Linux headers same as kernel, a 4.15 series
+BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_15=y
+
 # Serial port config
 BR2_TARGET_GENERIC_GETTY_PORT="ttyS0"