linux-headers: bump 3.12.x series
authorGustavo Zacarias <gustavo@zacarias.com.ar>
Tue, 22 Jul 2014 19:06:30 +0000 (16:06 -0300)
committerThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Wed, 23 Jul 2014 19:53:29 +0000 (21:53 +0200)
Signed-off-by: Gustavo Zacarias <gustavo@zacarias.com.ar>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
package/linux-headers/Config.in.host

index 9cacf7b1892fe19bdca7afa2385950523a99d34f..edc1453b26dc800d1b7f0932188908d6170fbf2b 100644 (file)
@@ -153,7 +153,7 @@ config BR2_DEFAULT_KERNEL_HEADERS
        default "3.9.11"        if BR2_KERNEL_HEADERS_3_9
        default "3.10.49"       if BR2_KERNEL_HEADERS_3_10
        default "3.11.10"       if BR2_KERNEL_HEADERS_3_11
-       default "3.12.24"       if BR2_KERNEL_HEADERS_3_12
+       default "3.12.25"       if BR2_KERNEL_HEADERS_3_12
        default "3.13.11"       if BR2_KERNEL_HEADERS_3_13
        default "3.14.13"       if BR2_KERNEL_HEADERS_3_14
        default "3.15.6"        if BR2_KERNEL_HEADERS_3_15