1 files changed, 3 insertions, 4 deletions
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