barebox: bump to version 2013.05.1

Signed-off-by: Jerzy Grzegorek <jerzy.grzegorek@trzebnica.net>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>

diff --git a/boot/barebox/Config.in b/boot/barebox/Config.in
index 21da3f9463bda906514ab074087c238765c159a4..09edecf7ea727600e91269c8a67236cfda3f3a75 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.05.0"
+       bool "2013.05.1"
 
 config BR2_TARGET_BAREBOX_CUSTOM_VERSION
        bool "Custom version"
@@ -40,7 +40,7 @@ endif
 
 config BR2_TARGET_BAREBOX_VERSION
        string
-       default "2013.05.0"     if BR2_TARGET_BAREBOX_LATEST_VERSION
+       default "2013.05.1"     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