summaryrefslogtreecommitdiff
path: root/script/handle/make/file
diff options
context:
space:
mode:
Diffstat (limited to 'script/handle/make/file')
-rwxr-xr-xscript/handle/make/file5
1 files changed, 3 insertions, 2 deletions
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
}