diff options
author | Chris Johns <chrisj@rtems.org> | 2015-12-15 11:15:28 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2015-12-15 11:15:28 +1100 |
commit | 3ffbfc809291e06b606cdf16539cc7d776b15877 (patch) | |
tree | b7b2e88037e88d40e50a65c17a0866ab048a5882 /rtems/config/tools/rtems-tools-4.12-1.cfg | |
parent | Download source from RTEMS if a release. (diff) | |
download | rtems-source-builder-3ffbfc809291e06b606cdf16539cc7d776b15877.tar.bz2 |
Fix 4.11/rtems-tools so it builds from git.
Diffstat (limited to 'rtems/config/tools/rtems-tools-4.12-1.cfg')
-rw-r--r-- | rtems/config/tools/rtems-tools-4.12-1.cfg | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/rtems/config/tools/rtems-tools-4.12-1.cfg b/rtems/config/tools/rtems-tools-4.12-1.cfg index 7b5eb7e..0a7a7e2 100644 --- a/rtems/config/tools/rtems-tools-4.12-1.cfg +++ b/rtems/config/tools/rtems-tools-4.12-1.cfg @@ -1 +1,15 @@ +# +# RTEMS Tools for 4.12. +# + +# +# The RTEMS Tools version is set to the RSB version or the RTEMS version. +# +%if %{rsb_released} + %define rtems_tools_version %{rsb_version} +%endif + +# +# The RTEMS Tools build instructions. We use tools 1. +# %include tools/rtems-tools-1.cfg |