linux-headers: bump 4.13.x series

Signed-off-by: Bernd Kuhls <bernd.kuhls@t-online.de>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
This commit is contained in:
Bernd Kuhls 2017-10-15 22:17:04 +02:00 committed by Peter Korsgaard
parent e716315ce0
commit f69f2dba62

View File

@ -249,5 +249,5 @@ config BR2_DEFAULT_KERNEL_HEADERS
default "4.10.17" if BR2_KERNEL_HEADERS_4_10 default "4.10.17" if BR2_KERNEL_HEADERS_4_10
default "4.11.12" if BR2_KERNEL_HEADERS_4_11 default "4.11.12" if BR2_KERNEL_HEADERS_4_11
default "4.12.14" if BR2_KERNEL_HEADERS_4_12 default "4.12.14" if BR2_KERNEL_HEADERS_4_12
default "4.13.6" if BR2_KERNEL_HEADERS_4_13 default "4.13.7" if BR2_KERNEL_HEADERS_4_13
default BR2_DEFAULT_KERNEL_VERSION if BR2_KERNEL_HEADERS_VERSION default BR2_DEFAULT_KERNEL_VERSION if BR2_KERNEL_HEADERS_VERSION