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

Signed-off-by: Gustavo Zacarias <gustavo@zacarias.com.ar>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
This commit is contained in:
Gustavo Zacarias 2014-04-24 08:13:39 -03:00 committed by Peter Korsgaard
parent 722090da36
commit ed32ed86cb

View File

@ -163,7 +163,7 @@ config BR2_DEFAULT_KERNEL_HEADERS
default "3.9.11" if BR2_KERNEL_HEADERS_3_9
default "3.10.37" if BR2_KERNEL_HEADERS_3_10
default "3.11.10" if BR2_KERNEL_HEADERS_3_11
default "3.12.17" if BR2_KERNEL_HEADERS_3_12
default "3.13.10" if BR2_KERNEL_HEADERS_3_13
default "3.12.18" if BR2_KERNEL_HEADERS_3_12
default "3.13.11" if BR2_KERNEL_HEADERS_3_13
default "3.14.1" if BR2_KERNEL_HEADERS_3_14
default BR2_DEFAULT_KERNEL_VERSION if BR2_KERNEL_HEADERS_VERSION