[PATCH] 5: Use a specific RTEMS tools version

[Chris Johns]

On 17/4/18 7:03 pm, Sebastian Huber wrote:
> On 17/04/18 10:21, Sebastian Huber wrote:
>> Download via HTTPS RTEMS file server.
>>
>> Close 3241.
>> ---
>>   rtems/config/tools/rtems-tools-5-1.cfg | 28 ++++++++++++++++++++++++++--
>>   1 file changed, 26 insertions(+), 2 deletions(-)
>>
>> diff --git a/rtems/config/tools/rtems-tools-5-1.cfg
>> b/rtems/config/tools/rtems-tools-5-1.cfg
>> index 6efc4e3..e0178f0 100644
>> [...]
>> +%if %{rtems_tools_build}
>> + %source set rtems-tools
>> https://ftp.rtems.org/pub/rtems/people/sebh/rtems-tools-%{rtems_tools_version}.tar.bz2
>>
>> [...]
> 
> The download location is currently my FTP server area. This is not great.
> 

Thanks, I had missed this. I would prefer the issue with git be fixed than head
down this path.

Also I do not want to hack around on dispatch.rtems.org to update this file.

Chris