diff options
| author | Chris Johns <chrisj@rtems.org> | 2018-09-15 17:42:30 +1000 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2018-09-15 17:43:29 +1000 |
| commit | a16bfe19effa7929c09d5bc85f3ec806fce3b0bb (patch) | |
| tree | ef15fa63f304838eb9ac7c2d97c4d1bee0c6a7cb /source-builder/sb/config.py | |
| parent | source-builder/config/gcc-4.8-1.cfg: mpc download link changed again (diff) | |
| download | rtems-source-builder-a16bfe19effa7929c09d5bc85f3ec806fce3b0bb.tar.bz2 | |
sb: Raise an error if an option is not registered and unknown.
Close #3519.
Diffstat (limited to 'source-builder/sb/config.py')
0 files changed, 0 insertions, 0 deletions