diff options
| author | Fabio Porcedda <fabio.porcedda@gmail.com> | 2013-12-06 13:56:14 +0100 |
|---|---|---|
| committer | Peter Korsgaard <peter@korsgaard.com> | 2013-12-06 15:22:17 +0100 |
| commit | 72962843a80849e5d159181fcf5ebbfae4de2916 (patch) | |
| tree | 5d135f9b12289dc7f0ab3e8ab8513b22f5bfd753 /boot | |
| parent | f0da97758dd438379ff7ba1d5b6404ebac459fec (diff) | |
barebox: bump to version 2013.12.0
Signed-off-by: Fabio Porcedda <fabio.porcedda@gmail.com>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
Diffstat (limited to 'boot')
| -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 2debfb924..cdda5d2fd 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 |