diff options
author | Chris Johns <chrisj@rtems.org> | 2014-11-05 09:36:44 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2014-11-05 09:36:44 +1100 |
commit | ae11ecf0930fb59757a1975b04543ee773c068f4 (patch) | |
tree | 481d17ff31d6c786816fe81026417fd6691a5b10 | |
parent | update rtems-tools (diff) | |
download | rtems-source-builder-ae11ecf0930fb59757a1975b04543ee773c068f4.tar.bz2 |
rtems4.11: Use rtems-tools HEAD for 4.11 until stable.
-rw-r--r-- | rtems/config/tools/rtems-tools-1.cfg | 1 | ||||
-rw-r--r-- | rtems/config/tools/rtems-tools-4.11-1.cfg | 3 |
2 files changed, 3 insertions, 1 deletions
diff --git a/rtems/config/tools/rtems-tools-1.cfg b/rtems/config/tools/rtems-tools-1.cfg index 42acb9e..f40a9e1 100644 --- a/rtems/config/tools/rtems-tools-1.cfg +++ b/rtems/config/tools/rtems-tools-1.cfg @@ -27,6 +27,7 @@ %if %{defined rtems_tools_version} %define rtems_tools_git_checkout ?checkout=%{rtems_tools_version} %else + %define rtems_tools_version HEAD %define rtems_tools_git_checkout %{nil} %endif %source set rtems-tools git://git.rtems.org/rtems-tools.git?fetch?reset=hard?branch=master%{rtems_tools_git_checkout} diff --git a/rtems/config/tools/rtems-tools-4.11-1.cfg b/rtems/config/tools/rtems-tools-4.11-1.cfg index ffc7726..9ddca34 100644 --- a/rtems/config/tools/rtems-tools-4.11-1.cfg +++ b/rtems/config/tools/rtems-tools-4.11-1.cfg @@ -2,7 +2,8 @@ # RTEMS Tools for 4.11. # -%define rtems_tools_version 2015c854c54ac13d3712ddb58e946659dcc617dc +# Wait for the release and until then track head. +# %define rtems_tools_version 2015c854c54ac13d3712ddb58e946659dcc617dc # # The RTEMS Tools build instructions. We use GIT Release 1. |