diff options
Diffstat (limited to 'rtems/config/tools/rtems-tools-1.cfg')
| -rw-r--r-- | rtems/config/tools/rtems-tools-1.cfg | 1 |
1 files changed, 1 insertions, 0 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} |