diff options
Diffstat (limited to 'script/handle/make')
| -rwxr-xr-x | script/handle/make/file | 5 |
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 } |