diff --git a/mk b/mk index c07e4895..1cdd2fd6 100755 --- a/mk +++ b/mk @@ -489,7 +489,6 @@ copy_elf() x_ make clean -C "$srcdir" $cleanargs } -if trees "$@"; then - . "$mkhelpercfg" - $cmd -fi +trees "$@" || exit 0 +. "$mkhelpercfg" +$cmd