diff options
author | Chris Johns <chrisj@rtems.org> | 2015-03-20 13:57:27 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2015-03-20 13:57:27 +1100 |
commit | ba0008c372a9336c1f594629e381888ded0abe93 (patch) | |
tree | ac7f7f425ad76a8ae249b97f7ea2ebff80327cd6 /rtems/config/tools/rtems-tools-1.cfg | |
parent | newlib has moved to git. The old CVS->git mirror is dead. Update. (diff) | |
download | rtems-source-builder-ba0008c372a9336c1f594629e381888ded0abe93.tar.bz2 |
sb: Do not accept an extra separate option for --with/--without.
The --with/--without that does not have an extra option was
consuming an extra option on the command line.
Diffstat (limited to 'rtems/config/tools/rtems-tools-1.cfg')
0 files changed, 0 insertions, 0 deletions