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/path.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/path.py')
0 files changed, 0 insertions, 0 deletions