diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2022-09-21 10:28:26 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2022-09-21 10:28:26 +0200 |
| commit | 3a78298e6dee2032a943204f139c597062c00162 (patch) | |
| tree | 0a81bce953c8e0d36ae3eee46cc236ec5fa4ebba /doc | |
| parent | 3ebf5b020e488297a61e4b02e06d34d5b3162cf2 (diff) | |
explore-kconfig: --random: ignore failed builds
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions