Merge branch 'master' into 25.04_branch25.04_branch

1 files changed, 2 insertions, 4 deletions

diff --git a/mk b/mk
index dcf135a1..a438d653 100755
--- a/mk
+++ b/mk
@@ -370,10 +370,8 @@ check_defconfig()
 
 elfcheck()
 {
-	# TODO: very hacky check. do it properly (based on build.list)
-	for elftest in "$dest_dir"/*; do
-		[ -e "$elftest" ] && e "$elftest" f && return 1
-	done; :
+	# TODO: *STILL* very hacky check. do it properly (based on build.list)
+	( fx_ "exit 1" "$dest_dir" -type f ) || return 1; :
 }
 
 handle_makefile()