From 1f3dabf1f0888163dd44a2a6689939387088c72b Mon Sep 17 00:00:00 2001 From: Fabio Porcedda Date: Tue, 9 Jul 2013 10:19:54 +0200 Subject: [PATCH] barebox: bump to version 2013.07.0 Signed-off-by: Fabio Porcedda Signed-off-by: Peter Korsgaard --- boot/barebox/Config.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/boot/barebox/Config.in b/boot/barebox/Config.in index 9fa8c5da61..156cd73efc 100644 --- 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.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