RTEMS Source Builder | config: Add option to make errors non fatal (!170)

[Chris Johns (@chris)]

Chris Johns commented on a discussion on source-builder/sb/reports.py: https://gitlab.rtems.org/rtems/tools/rtems-source-builder/-/merge_requests/170#note_127943

 >              '--list-configs': 'List available configurations',
 >              '--format': 'Output format (text, html, markdown, ini, xml)',
 >              '--output': 'File name to output the report',
 > -            '--sanitize': 'Remove Remotes information from report'
 > +            '--sanitize': 'Remove Remotes information from report',
 > +            '--skip-error': 'Make errors non fatal'

I do not like adding duplication options when one exists. I think it is less work. Try:

```python
        if define('_keep_going') != '0':
```

?

-- 
View it on GitLab: https://gitlab.rtems.org/rtems/tools/rtems-source-builder/-/merge_requests/170#note_127943
You're receiving this email because of your account on gitlab.rtems.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/bugs/attachments/20250731/72eb990a/attachment.htm>