Merge branch 'master' into 25.04_branch25.04_branch

1 files changed, 1 insertions, 1 deletions

diff --git a/mk b/mk
index 0c156523..aa89710a 100755
--- a/mk
+++ b/mk
@@ -67,7 +67,7 @@ build_release()
 	(
 	cd "$srcdir" || err "$vdir: !cd \"$srcdir\""
 
-	./mk -f
+	x_ ./mk -f
 	rmgit .
 	x_ mv src/docs docs
 	) || err "can't create release files"