diff options
| author | Josh Stone <jistone@redhat.com> | 2017-10-26 15:56:59 -0700 |
|---|---|---|
| committer | Josh Stone <jistone@redhat.com> | 2017-10-26 17:19:29 -0700 |
| commit | 924331cc9b9213112e697833391c8d5fc59ea844 (patch) | |
| tree | 101fb52c2f238cd11bd1446774d2d97c3ff0f9b1 /src/libstd/sys/unix/stack_overflow.rs | |
| parent | b218a02ad8b8b79b30a847eadf3e9c739560fadf (diff) | |
| download | rust-924331cc9b9213112e697833391c8d5fc59ea844.tar.gz rust-924331cc9b9213112e697833391c8d5fc59ea844.zip | |
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.
Diffstat (limited to 'src/libstd/sys/unix/stack_overflow.rs')
0 files changed, 0 insertions, 0 deletions