OK to push. Thanks Chris
On 21/1/2023 2:06 am, Frank Kuehndel wrote: > From: Frank Kühndel <frank.kuehn...@embedded-brains.de> > > Close #4642 > --- > source-builder/sb/ereport.py | 4 +++- > 1 file changed, 3 insertions(+), 1 deletion(-) > > diff --git a/source-builder/sb/ereport.py b/source-builder/sb/ereport.py > index d8fb5f6..52ee2eb 100755 > --- a/source-builder/sb/ereport.py > +++ b/source-builder/sb/ereport.py > @@ -54,7 +54,9 @@ def generate(name, opts, header = None, footer = None): > name = name.replace('/', '-') > with open(name, 'w') as l: > l.write(os.linesep.join(r)) > - log.notice(' See error report: %s' % (name)) > + log.notice(os.linesep.join([' See error report: %s' % (name), > + ' Note: In some cases the error appears only in', > + ' the complete build log (see --log option)'])) > except: > log.stderr('error: failure to create error report') > raise _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel