linux-headers: bump 4.{9, 12, 13}.x series

Signed-off-by: Bernd Kuhls <bernd.kuhls@t-online.de>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
This commit is contained in:
Bernd Kuhls 2017-09-10 09:13:32 +02:00 committed by Thomas Petazzoni
parent bbcc673b3a
commit 2aae8765fd

View File

@ -245,9 +245,9 @@ config BR2_DEFAULT_KERNEL_HEADERS
default "3.12.74" if BR2_KERNEL_HEADERS_3_12
default "4.1.43" if BR2_KERNEL_HEADERS_4_1
default "4.4.87" if BR2_KERNEL_HEADERS_4_4
default "4.9.48" if BR2_KERNEL_HEADERS_4_9
default "4.9.49" if BR2_KERNEL_HEADERS_4_9
default "4.10.17" if BR2_KERNEL_HEADERS_4_10
default "4.11.12" if BR2_KERNEL_HEADERS_4_11
default "4.12.11" if BR2_KERNEL_HEADERS_4_12
default "4.13" if BR2_KERNEL_HEADERS_4_13
default "4.12.12" if BR2_KERNEL_HEADERS_4_12
default "4.13.1" if BR2_KERNEL_HEADERS_4_13
default BR2_DEFAULT_KERNEL_VERSION if BR2_KERNEL_HEADERS_VERSION