From 72962843a80849e5d159181fcf5ebbfae4de2916 Mon Sep 17 00:00:00 2001 From: Fabio Porcedda Date: Fri, 6 Dec 2013 13:56:14 +0100 Subject: [PATCH] barebox: bump to version 2013.12.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 2debfb924a..cdda5d2fd2 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.11.0" + bool "2013.12.0" config BR2_TARGET_BAREBOX_CUSTOM_VERSION bool "Custom version" @@ -40,7 +40,7 @@ endif config BR2_TARGET_BAREBOX_VERSION string - default "2013.11.0" if BR2_TARGET_BAREBOX_LATEST_VERSION + default "2013.12.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