From 0543350d44dc4e07e20d718b0d7bfbbca9f730ce Mon Sep 17 00:00:00 2001 From: Leah Rowe Date: Sun, 10 Sep 2023 17:13:47 +0100 Subject: 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 --- script/handle/make/file | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'script/handle') diff --git a/script/handle/make/file b/script/handle/make/file index 78834db7..985abf35 100755 --- a/script/handle/make/file +++ b/script/handle/make/file @@ -71,8 +71,9 @@ run_make_command() make -C "${project}" -j$(nproc) || \ err "run_make_command: !make -C ${project}" else - make -C "${project}" distclean || make -C "${project}" clean \ - || err "run_make_command: ${project}: make-clean failed" + make -C "${project}" clean || \ + err "run_make_command: ${project}: make-clean failed" + make -C "${project}" distclean || : fi } -- cgit v1.2.1