diff options
-rw-r--r-- | include/tree.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/include/tree.sh b/include/tree.sh index a2d4c378..54de692b 100644 --- a/include/tree.sh +++ b/include/tree.sh @@ -292,8 +292,10 @@ run_make_command() $dry x_ make -C "$srcdir" $mode -j$XBMK_THREADS $makeargs [ -n "$mode" ] || x_ $mkhelper + check_makefile "$srcdir" || return 0 [ "$mode" != "clean" ] || \ - $dry make -C "$srcdir" $cleanargs distclean || :; : + $dry make -C "$srcdir" $cleanargs distclean || \ + $dry x_ make -C "$srcdir" $cleanargs clean; : } check_cmake() |