diff options
| author | Patrik Tesarik <patrik.tesarik@9elements.com> | 2022-06-11 21:47:21 +0200 |
|---|---|---|
| committer | Felix Held <felix-coreboot@felixheld.de> | 2022-06-14 13:35:54 +0000 |
| commit | f5c2f253a7dc8eced1c616ff9c79c6d196c86350 (patch) | |
| tree | 68dfda7b6eac3b0bc5259cee5920fc3f2390c004 /src/mainboard/google/rambi | |
| parent | ed8aef9ccdfd909af25dcf412b1b4dce4c104fbc (diff) | |
external/LinuxBoot: Fix cleanup mechanism
`make clean` never thoroughly removed LinuxBoot build artifacts. This
change checks for kernel directories present in the project directory
and deletes all of them, if found.
Signed-off-by: Patrik Tesarik <patrik.tesarik@9elements.com>
Change-Id: Ia056ac6608e3631dfc270ba5c2f32216c3e1ac50
Reviewed-on: https://review.coreboot.org/c/coreboot/+/65098
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'src/mainboard/google/rambi')
0 files changed, 0 insertions, 0 deletions