1 files changed, 1 insertions, 1 deletions
diff --git a/mk b/mk
index 2f5b6057..b3a0f26a 100755
--- a/mk
+++ b/mk
@@ -86,7 +86,7 @@ build_release()
 {
 	(
 	cd "$srcdir" || $err "$vdir: !cd \"$srcdir\""
-	./mk -f
+	x_ ./mk -f
 	x_ rm -Rf tmp
 	rmgit .
 	x_ mv src/docs docs