barebox: bump to version 2013.07.0
authorFabio Porcedda <fabio.porcedda@gmail.com>
Tue, 9 Jul 2013 08:19:54 +0000 (10:19 +0200)
committerPeter Korsgaard <jacmet@sunsite.dk>
Tue, 9 Jul 2013 09:49:21 +0000 (11:49 +0200)
Signed-off-by: Fabio Porcedda <fabio.porcedda@gmail.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
boot/barebox/Config.in

index 9fa8c5da61bebdf0fd1773772299d3e76eae67da..156cd73efc1818ba0d90de175e25a8723cd3a72d 100644 (file)
@@ -12,7 +12,7 @@ choice
          Select the specific Barebox version you want to use
 
 config BR2_TARGET_BAREBOX_LATEST_VERSION
-       bool "2013.06.0"
+       bool "2013.07.0"
 
 config BR2_TARGET_BAREBOX_CUSTOM_VERSION
        bool "Custom version"
@@ -40,7 +40,7 @@ endif
 
 config BR2_TARGET_BAREBOX_VERSION
        string
-       default "2013.06.0"     if BR2_TARGET_BAREBOX_LATEST_VERSION
+       default "2013.07.0"     if BR2_TARGET_BAREBOX_LATEST_VERSION
        default $BR2_TARGET_BAREBOX_CUSTOM_VERSION_VALUE if BR2_TARGET_BAREBOX_CUSTOM_VERSION
        default "custom"        if BR2_TARGET_BAREBOX_CUSTOM_TARBALL
        default $BR2_TARGET_BAREBOX_CUSTOM_GIT_VERSION if BR2_TARGET_BAREBOX_CUSTOM_GIT