diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-10-15 11:13:53 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-10-21 10:22:10 +0200 |
| commit | 45a7b55d7bf178fae6a00303695bac0249c5c4b1 (patch) | |
| tree | e6347927314f4862dd00b9f55fac0e7d655afd40 /docs/linux | |
| parent | e0740dc9fe2c4e5f15f1b155859cce2dc93024cb (diff) | |
Makefile: add configs target
config target regenerates all kernel configs.
Update #2171
Diffstat (limited to 'docs/linux')
0 files changed, 0 insertions, 0 deletions
