diff options
author | Leah Rowe <leah@libreboot.org> | 2023-09-10 17:13:47 +0100 |
---|---|---|
committer | Leah Rowe <leah@libreboot.org> | 2023-09-10 17:17:33 +0100 |
commit | 0543350d44dc4e07e20d718b0d7bfbbca9f730ce (patch) | |
tree | 8d6beea4b7730eb4ffdc6ed3b11e3c8ba845a89f /config/coreboot/w500_8mb | |
parent | 12f9afe62252d49743526e83d97e0f91171c8a48 (diff) |
handle/make/file: run make-clean first
flashrom distclean resulted in zero status upon exit,
but did not remove the actual flashrom binary.
our logic was to run distclean and defer to clean;
now, we run clean and *then* run distclean, but we
do not throw an error if distclean fails. (we do
throw one if clean fails)
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'config/coreboot/w500_8mb')
0 files changed, 0 insertions, 0 deletions