linux-headers: bump 3.12.x series
authorGustavo Zacarias <gustavo@zacarias.com.ar>
Fri, 9 May 2014 12:30:46 +0000 (09:30 -0300)
committerPeter Korsgaard <peter@korsgaard.com>
Fri, 9 May 2014 13:04:32 +0000 (15:04 +0200)
Signed-off-by: Gustavo Zacarias <gustavo@zacarias.com.ar>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
package/linux-headers/Config.in.host

index 177f0c2413eb0734e55d6daa97fdbc1581074ce6..6a6a76101f9ebce11e766d23f3bbdb7ff1206a79 100644 (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