barebox: add 2011.12 release, remove 2011.09

And mark 2011.10 as deprecated.

Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>

diff --git a/boot/barebox/Config.in b/boot/barebox/Config.in
index 0342a33b1f659435fb13647f8bd2e09a642d8ce3..b8e2b95d78ce05d9a5686a98457156b63464695c 100644 (file)
--- a/boot/barebox/Config.in
+++ b/boot/barebox/Config.in
@@ -8,20 +8,20 @@ config BR2_TARGET_BAREBOX
 if BR2_TARGET_BAREBOX
 choice
        prompt "version"
-       default BR2_TARGET_BAREBOX_2011_11
+       default BR2_TARGET_BAREBOX_2011_12
        help
          Select the specific Barebox version you want to use
 
-config BR2_TARGET_BAREBOX_2011_09
-       depends on BR2_DEPRECATED
-       bool "2011.09"
-
 config BR2_TARGET_BAREBOX_2011_10
+       depends on BR2_DEPRECATED
        bool "2011.10"
 
 config BR2_TARGET_BAREBOX_2011_11
        bool "2011.11"
 
+config BR2_TARGET_BAREBOX_2011_12
+       bool "2011.12"
+
 config BR2_TARGET_BAREBOX_CUSTOM_TARBALL
        bool "Custom tarball"
 
@@ -39,9 +39,9 @@ endif
 
 config BR2_TARGET_BAREBOX_VERSION
        string
-       default "2011.09.0"     if BR2_TARGET_BAREBOX_2011_09
        default "2011.10.0"     if BR2_TARGET_BAREBOX_2011_10
        default "2011.11.0"     if BR2_TARGET_BAREBOX_2011_11
+       default "2011.12.0"     if BR2_TARGET_BAREBOX_2011_12
        default "custom"        if BR2_TARGET_BAREBOX_CUSTOM_TARBALL
        default $BR2_TARGET_BAREBOX_CUSTOM_GIT_VERSION if BR2_TARGET_BAREBOX_CUSTOM_GIT