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
_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel
