]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b218a02) | patch
configure.py: fix --disable-option-checking
authorJosh Stone <jistone@redhat.com>
Thu, 26 Oct 2017 22:56:59 +0000 (15:56 -0700)
committerJosh Stone <jistone@redhat.com>
Fri, 27 Oct 2017 00:19:29 +0000 (17:19 -0700)
commit924331cc9b9213112e697833391c8d5fc59ea844
tree101fb52c2f238cd11bd1446774d2d97c3ff0f9b1tree | snapshot
parentb218a02ad8b8b79b30a847eadf3e9c739560fadfcommit | diff
configure.py: fix --disable-option-checking

Getting the value of this argument needs another level of indexing,
as `known_args` are stored in `{dict}[list](opt, value)` form.

Also, when option-checking is disabled, let this bypass the check that
options are only passed once, and just apply the last value.
src/bootstrap/configure.py diff | blob | history
Empowering everyone to build reliable and efficient software.