diff options
Diffstat (limited to 'bare')
-rw-r--r-- | bare/config/bare-config.cfg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bare/config/bare-config.cfg b/bare/config/bare-config.cfg index 2633cd7..e042e47 100644 --- a/bare/config/bare-config.cfg +++ b/bare/config/bare-config.cfg @@ -5,7 +5,7 @@ # # The RTEMS http git URL. # -%define rtems_version 4.11 +%define rtems_version 4.12 %define rtems_http_git http://git.rtems.org %define rtems_git_tools %{rtems_http_git}/rtems-tools/plain/tools/%{rtems_version} %define bare_binutils_patches %{rtems_git_tools}/binutils |