From db4f6e237f1d560c94a23d40c99c5f084102e31b Mon Sep 17 00:00:00 2001 From: Fabio Porcedda Date: Mon, 18 Nov 2013 10:22:59 +0100 Subject: [PATCH] barebox: bump to version 2013.10.1 This is a bug fix release. 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 a409acaca4..84db6ae73e 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.10.0" + bool "2013.10.1" config BR2_TARGET_BAREBOX_CUSTOM_VERSION bool "Custom version" @@ -40,7 +40,7 @@ endif config BR2_TARGET_BAREBOX_VERSION string - default "2013.10.0" if BR2_TARGET_BAREBOX_LATEST_VERSION + default "2013.10.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 -- 2.30.2