linux-headers: bump 3.12.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-05-09 09:30:46 -03:00 committed by Peter Korsgaard
parent b5ece69cd3
commit 19d0273336

View File

@ -151,7 +151,7 @@ config BR2_DEFAULT_KERNEL_HEADERS
default "3.9.11" if BR2_KERNEL_HEADERS_3_9
default "3.10.39" if BR2_KERNEL_HEADERS_3_10
default "3.11.10" if BR2_KERNEL_HEADERS_3_11
default "3.12.18" if BR2_KERNEL_HEADERS_3_12
default "3.12.19" if BR2_KERNEL_HEADERS_3_12
default "3.13.11" if BR2_KERNEL_HEADERS_3_13
default "3.14.3" if BR2_KERNEL_HEADERS_3_14
default BR2_DEFAULT_KERNEL_VERSION if BR2_KERNEL_HEADERS_VERSION