linux-headers: add 3.10.x series
authorGustavo Zacarias <gustavo@zacarias.com.ar>
Thu, 4 Jul 2013 18:31:35 +0000 (15:31 -0300)
committerPeter Korsgaard <jacmet@sunsite.dk>
Sun, 7 Jul 2013 21:02:57 +0000 (23:02 +0200)
Signed-off-by: Gustavo Zacarias <gustavo@zacarias.com.ar>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
package/linux-headers/Config.in.host

index 495552416ae41f4f183d586f41111997c23dfb4e..8431b2da0b6be0f6edd5508d8b9a8830b17a20c7 100644 (file)
@@ -5,7 +5,7 @@ comment "Kernel Header Options"
 
 choice
        prompt "Kernel Headers"
-       default BR2_KERNEL_HEADERS_3_9
+       default BR2_KERNEL_HEADERS_3_10
        help
          Select the version of kernel header files you wish to use.
          You must select the correct set of header files to match
@@ -53,6 +53,9 @@ choice
        config BR2_KERNEL_HEADERS_3_9
                bool "Linux 3.9.x kernel headers"
 
+       config BR2_KERNEL_HEADERS_3_10
+               bool "Linux 3.10.x kernel headers"
+
        config BR2_KERNEL_HEADERS_VERSION
                bool "Manually specified Linux version"
 
@@ -79,5 +82,6 @@ config BR2_DEFAULT_KERNEL_HEADERS
        default "3.7.10"        if BR2_KERNEL_HEADERS_3_7
        default "3.8.13"        if BR2_KERNEL_HEADERS_3_8
        default "3.9.9"         if BR2_KERNEL_HEADERS_3_9
+       default "3.10"          if BR2_KERNEL_HEADERS_3_10
        default "2.6"           if BR2_KERNEL_HEADERS_SNAP
        default $BR2_DEFAULT_KERNEL_VERSION if BR2_KERNEL_HEADERS_VERSION