barebox: bump version to 2013.05.0

Signed-off-by: Fabio Porcedda <fabio.porcedda@gmail.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>

diff --git a/boot/barebox/Config.in b/boot/barebox/Config.in
index 47926cb73134be56a280ae2fad09a89a7edce7e6..21da3f9463bda906514ab074087c238765c159a4 100644 (file)
--- a/boot/barebox/Config.in
+++ b/boot/barebox/Config.in
@@ -12,7 +12,7 @@ choice
          Select the specific Barebox version you want to use
 
 config BR2_TARGET_BAREBOX_LATEST_VERSION
-       bool "2013.04.0"
+       bool "2013.05.0"
 
 config BR2_TARGET_BAREBOX_CUSTOM_VERSION
        bool "Custom version"
@@ -40,7 +40,7 @@ endif
 
 config BR2_TARGET_BAREBOX_VERSION
        string
-       default "2013.04.0"     if BR2_TARGET_BAREBOX_LATEST_VERSION
+       default "2013.05.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