diff options
author | Fabio Porcedda <fabio.porcedda@gmail.com> | 2013-08-06 16:47:38 +0200 |
---|---|---|
committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2013-08-07 18:51:42 +0200 |
commit | f4ea3fb9587cf626507dc6ba6d07775eed920347 (patch) | |
tree | ff460670342eed550d240fed2381f18f11fa94b5 /boot/barebox | |
parent | 07203d78c24df74a77d73b17437d37dce41d232e (diff) |
barebox: bump to version 2013.08.0
Signed-off-by: Fabio Porcedda <fabio.porcedda@gmail.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Diffstat (limited to 'boot/barebox')
-rw-r--r-- | boot/barebox/Config.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/boot/barebox/Config.in b/boot/barebox/Config.in index 156cd73ef..04929ea7b 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.07.0" + bool "2013.08.0" config BR2_TARGET_BAREBOX_CUSTOM_VERSION bool "Custom version" @@ -40,7 +40,7 @@ endif config BR2_TARGET_BAREBOX_VERSION string - default "2013.07.0" if BR2_TARGET_BAREBOX_LATEST_VERSION + default "2013.08.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 |