diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2018-04-17 10:20:08 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2018-04-18 07:50:33 +0200 |
| commit | 50593d4406704155d72f205785277133212c5c1c (patch) | |
| tree | 7a59b70f61613f8bfd677524ab28bcfeee892a64 /rtems/config/tools/rtems-tools-common-1.cfg | |
| parent | sb/path: Walk up to root checking if a path is writable. (diff) | |
| download | rtems-source-builder-50593d4406704155d72f205785277133212c5c1c.tar.bz2 | |
5: Use a specific RTEMS tools version
Download via cgit archive.
Close #3403.
Diffstat (limited to 'rtems/config/tools/rtems-tools-common-1.cfg')
| -rw-r--r-- | rtems/config/tools/rtems-tools-common-1.cfg | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/rtems/config/tools/rtems-tools-common-1.cfg b/rtems/config/tools/rtems-tools-common-1.cfg index 9474ad1..d4bbc3b 100644 --- a/rtems/config/tools/rtems-tools-common-1.cfg +++ b/rtems/config/tools/rtems-tools-common-1.cfg @@ -21,13 +21,17 @@ License: BSD-2-Clause + GPL-2.0 # target location and 'cd ..' fails. build_top=$(pwd) - %if %{rsb_released} - rtems_tools_source="rtems-tools-%{rtems_tools_version}" + %if ! %{defined rtems_tools_source} + %if %{rsb_released} + rtems_tools_source="rtems-tools-%{rtems_tools_version}" + %else + rtems_tools_source="rtems-tools.git" + %endif %else - rtems_tools_source="rtems-tools.git" + rtems_tools_source=%{rtems_tools_source} %endif - source_dir_rtems_tools=${rtems_tools_source} + source_dir_rtems_tools=${rtems_tools_source} %source setup rtems-tools -q -n ${rtems_tools_source} %patch setup rtems-tools -p1 |