diff options
| -rwxr-xr-x | script/trees | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/script/trees b/script/trees index 835cd504..dfe1eb01 100755 --- a/script/trees +++ b/script/trees @@ -248,8 +248,7 @@ run_make_command() make -C "$cdir" $mode -j$XBMK_THREADS $makeargs || $err "$cdir mk$mode" [ -z "$mkhelper" ] || [ -n "$mode" ] || $mkhelper || $err "!$mkhelper" - [ "$mode" != "clean" ] && return 0 - make -C "$cdir" distclean 2>/dev/null || : + [ "$mode" = "clean" ] && make -C "$cdir" distclean || :; return 0 } check_cmake() |