linux-headers: bump 3.12.x stable version

Signed-off-by: Gustavo Zacarias <gustavo@zacarias.com.ar>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
This commit is contained in:
Gustavo Zacarias 2014-03-28 20:46:58 -03:00 committed by Thomas Petazzoni
parent 56e404bb88
commit 3fd8e605e1

View File

@ -158,6 +158,6 @@ config BR2_DEFAULT_KERNEL_HEADERS
default "3.9.11" if BR2_KERNEL_HEADERS_3_9
default "3.10.34" if BR2_KERNEL_HEADERS_3_10
default "3.11.10" if BR2_KERNEL_HEADERS_3_11
default "3.12.14" if BR2_KERNEL_HEADERS_3_12
default "3.12.15" if BR2_KERNEL_HEADERS_3_12
default "3.13.7" if BR2_KERNEL_HEADERS_3_13
default BR2_DEFAULT_KERNEL_VERSION if BR2_KERNEL_HEADERS_VERSION