diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-06-03 11:20:00 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-06-03 11:35:08 +0200 |
| commit | 2ba71ec506c729632a8ebff1b906593cdbe49012 (patch) | |
| tree | bfef5c16aa9f5aca6bd46818e760e3fe010b1c1b /docs/linux | |
| parent | a86ce602b3ba792d0584efc6e0fb485c8f629ca4 (diff) | |
pkg/repro: don't enable features missing on the target
Manager has already checked what features are present on the target.
But if we detected that, say, USB is missing, we still enabled it
in the starting csource options. This is wrong, increases configuration
minimization time and may lead to some obscure bugs.
Diffstat (limited to 'docs/linux')
0 files changed, 0 insertions, 0 deletions