[PATCH] 5: Use a specific RTEMS tools version

[Sebastian Huber]

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.

-- 
Sebastian Huber, embedded brains GmbH

Address : Dornierstr. 4, D-82178 Puchheim, Germany
Phone   : +49 89 189 47 41-16
Fax     : +49 89 189 47 41-09
E-Mail  : sebastian.huber at embedded-brains.de
PGP     : Public key available on request.

Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG.