Re: [PATCH] 5/rtems-tools: Update RTEMS tools

Hello Joel, thanks for the OK and sorry for the delayed reaction. I've been knocked out by a cold. Best regards Christian Am 19.12.18 um 22:01 schrieb Joel Sherrill: > Please push this > > On Wed, Dec 19, 2018, 6:43 AM Christian Mauderer wrote: > > From: Chris

Re: [PATCH] 5/rtems-tools: Update RTEMS tools

Please push this On Wed, Dec 19, 2018, 6:43 AM Christian Mauderer From: Christian Mauderer > > Picks up the new waf in rtems-tools to be compatible with python 3.7 and > some tester updates. > > Update #3569. > --- > rtems/config/tools/rtems-tools-5-1.cfg | 4 ++-- > 1 file changed, 2 insertion

[PATCH] 5/rtems-tools: Update RTEMS tools

From: Christian Mauderer Picks up the new waf in rtems-tools to be compatible with python 3.7 and some tester updates. Update #3569. --- rtems/config/tools/rtems-tools-5-1.cfg | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/rtems/config/tools/rtems-tools-5-1.cfg b/rtems