]> git.dujemihanovic.xyz Git - u-boot.git/commitdiff
Merge branch '2023-07-07-assorted-build-improvements' into next
authorTom Rini <trini@konsulko.com>
Sat, 8 Jul 2023 15:28:39 +0000 (11:28 -0400)
committerTom Rini <trini@konsulko.com>
Sat, 8 Jul 2023 15:28:39 +0000 (11:28 -0400)
- Correct a few dependencies in Kconfig and better handle some generated
  files so that they are properly cleaned later.


Trivial merge