From 7bb30b4d8ec7fdb24b23b02f04897d9b0480056f Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Thu, 20 Jan 2022 23:29:42 -0300
Subject: Add diacritic and spaces to mk{s,d}temp paths to enforce that
 everything works with it

---
 aux/workflow/dist.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'aux/workflow')

diff --git a/aux/workflow/dist.sh b/aux/workflow/dist.sh
index 48a9d57..68f8849 100755
--- a/aux/workflow/dist.sh
+++ b/aux/workflow/dist.sh
@@ -81,7 +81,7 @@ if [ "Release $VVERSION" != "$(git log --format=%B -1 HEAD | head -n1)" ]; then
 fi
 
 make clean
-make dev-check EXTRA_VERSION="$VVERSION"
+env ASSERT_NO_MISSING_TRANSLATIONS=1 make dev-check EXTRA_VERSION="$VVERSION"
 
 if ! (git diff --quiet && git diff --quiet --staged); then
 	echo 'Dirty repository.'
-- 
cgit v1.2.3