Re: [PATCH] 5: Use a specific RTEMS tools version

2018-04-17 Thread Sebastian Huber
On 18/04/18 07:22, Chris Johns wrote: With this time dependent rtems-tools selection you cannot say RSB commit XYZ works with RTEMS commit ABC. In addition you have to say build the RSB after date LMN (and not after IJK?). You build with the same RSB today and tomorrow and potentially get two dif

Re: [PATCH] 5: Use a specific RTEMS tools version

2018-04-17 Thread Chris Johns
On 18/04/2018 15:07, Sebastian Huber wrote:> Sorry, for the confusion, but the tool update is not an issue for me. No problem. > My issue is the irreproducible tool chain build. Thanks for the specific task, this is an important issue. > With this time dependent > rtems-tools selection you cann

Re: [PATCH] 5: Use a specific RTEMS tools version

2018-04-17 Thread Sebastian Huber
On 18/04/18 02:27, Chris Johns wrote: On 17/04/2018 21:18, Sebastian Huber wrote: On 17/04/18 12:12, Chris Johns wrote: On 17/4/18 6:49 pm, Sebastian Huber wrote: On 17/04/18 10:30, Chris Johns wrote: On 17/04/2018 18:21, Sebastian Huber wrote: Download via HTTPS RTEMS file server. Close 32

Re: [PATCH] 5: Use a specific RTEMS tools version

2018-04-17 Thread Chris Johns
On 17/04/2018 21:36, Sebastian Huber wrote: > On 17/04/18 12:26, Chris Johns wrote: >> On 17/4/18 8:14 pm, Chris Johns wrote: >>> Also I do not want to hack around on dispatch.rtems.org to update this file. >>> >> This link seems to work ... >> >> https://git.rtems.org/rtems-tools/snapshot/rtems-to

Re: [PATCH] 5: Use a specific RTEMS tools version

2018-04-17 Thread Joel Sherrill
On Tue, Apr 17, 2018, 7:27 PM Chris Johns wrote: > On 17/04/2018 21:18, Sebastian Huber wrote: > > On 17/04/18 12:12, Chris Johns wrote: > >> On 17/4/18 6:49 pm, Sebastian Huber wrote: > >>> On 17/04/18 10:30, Chris Johns wrote: > On 17/04/2018 18:21, Sebastian Huber wrote: > > Download

Re: [PATCH] 5: Use a specific RTEMS tools version

2018-04-17 Thread Chris Johns
On 17/04/2018 21:18, Sebastian Huber wrote: > On 17/04/18 12:12, Chris Johns wrote: >> On 17/4/18 6:49 pm, Sebastian Huber wrote: >>> On 17/04/18 10:30, Chris Johns wrote: On 17/04/2018 18:21, Sebastian Huber wrote: > Download via HTTPS RTEMS file server. > > Close 3241. Can y

Re: [PATCH] 5: Use a specific RTEMS tools version

2018-04-17 Thread Sebastian Huber
On 17/04/18 12:26, Chris Johns wrote: On 17/4/18 8:14 pm, Chris Johns wrote: Also I do not want to hack around on dispatch.rtems.org to update this file. This link seems to work ... https://git.rtems.org/rtems-tools/snapshot/rtems-tools-ec419a05ee52869a7d5b8712ea8e7a7d74fde096.tar.bz2 Must b

Re: [PATCH] 5: Use a specific RTEMS tools version

2018-04-17 Thread Sebastian Huber
On 17/04/18 12:12, Chris Johns wrote: On 17/4/18 6:49 pm, Sebastian Huber wrote: On 17/04/18 10:30, Chris Johns wrote: On 17/04/2018 18:21, Sebastian Huber wrote: Download via HTTPS RTEMS file server. Close 3241. Can you please explain why this solves the issue in the ticket? I do not see ho

Re: [PATCH] 5: Use a specific RTEMS tools version

2018-04-17 Thread Chris Johns
On 17/4/18 8:14 pm, Chris Johns wrote: > > Also I do not want to hack around on dispatch.rtems.org to update this file. > This link seems to work ... https://git.rtems.org/rtems-tools/snapshot/rtems-tools-ec419a05ee52869a7d5b8712ea8e7a7d74fde096.tar.bz2 Must be a feature of cgit. Chris __

Re: [PATCH] 5: Use a specific RTEMS tools version

2018-04-17 Thread 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 --g

Re: [PATCH] 5: Use a specific RTEMS tools version

2018-04-17 Thread Chris Johns
On 17/4/18 6:49 pm, Sebastian Huber wrote: > On 17/04/18 10:30, Chris Johns wrote: >> On 17/04/2018 18:21, Sebastian Huber wrote: >>> Download via HTTPS RTEMS file server. >>> >>> Close 3241. >> Can you please explain why this solves the issue in the ticket? I do not see >> how >> they relate. >

Re: [PATCH] 5: Use a specific RTEMS tools version

2018-04-17 Thread 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

Re: [PATCH] 5: Use a specific RTEMS tools version

2018-04-17 Thread Sebastian Huber
On 17/04/18 10:30, Chris Johns wrote: On 17/04/2018 18:21, Sebastian Huber wrote: Download via HTTPS RTEMS file server. Close 3241. Can you please explain why this solves the issue in the ticket? I do not see how they relate. This solves the ticket since git is no longer involved. There c

Re: [PATCH] 5: Use a specific RTEMS tools version

2018-04-17 Thread Chris Johns
On 17/04/2018 18:21, Sebastian Huber wrote: > Download via HTTPS RTEMS file server. > > Close 3241. Can you please explain why this solves the issue in the ticket? I do not see how they relate. There can be issues with a sequence of git commands if you are switching branches. This can be resolve

[PATCH] 5: Use a specific RTEMS tools version

2018-04-17 Thread Sebastian Huber
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 10