Re: [PATCH] rtems-tools-6.cfg: Bump hash to get new INI files

2022-01-23 Thread Chris Johns
On 21/1/22 1:32 am, Joel Sherrill wrote: > This looks good to me. If no one objects, I will push it. Ok to push. Thanks Chris ___ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel

Re: [PATCH] rtems-tools-6.cfg: Bump hash to get new INI files

2022-01-20 Thread Joel Sherrill
This looks good to me. If no one objects, I will push it. --joel On Thu, Jan 20, 2022 at 8:28 AM Ryan Long wrote: > > --- > rtems/config/tools/rtems-tools-6.cfg | 4 ++-- > 1 file changed, 2 insertions(+), 2 deletions(-) > > diff --git a/rtems/config/tools/rtems-tools-6.cfg >

[PATCH] rtems-tools-6.cfg: Bump hash to get new INI files

2022-01-20 Thread Ryan Long
--- rtems/config/tools/rtems-tools-6.cfg | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/rtems/config/tools/rtems-tools-6.cfg b/rtems/config/tools/rtems-tools-6.cfg index cf895d6..d493955 100644 --- a/rtems/config/tools/rtems-tools-6.cfg +++