diff options
| author | Simon Glass <[email protected]> | 2023-09-07 10:00:17 -0600 |
|---|---|---|
| committer | Simon Glass <[email protected]> | 2023-09-23 12:31:25 -0600 |
| commit | 124a0da55429c75b04f791227ed5ab716ce37612 (patch) | |
| tree | 19ec132bc34fc299a7bd1da8205cfc18598ac9a7 /include/linux | |
| parent | 36e45f69c4c6a626fd12de7b3b25135162758654 (diff) | |
buildman: Keep all common output files
Make a list of common output extensions and use it to ensure that the -k
option preserves all of these.
Signed-off-by: Simon Glass <[email protected]>
Suggested-by: Tom Rini <[email protected]>
Reviewed-by: Tom Rini <[email protected]>
Diffstat (limited to 'include/linux')
0 files changed, 0 insertions, 0 deletions