aboutsummaryrefslogtreecommitdiff
path: root/aux
diff options
context:
space:
mode:
Diffstat (limited to 'aux')
-rwxr-xr-xaux/lib.sh3
-rwxr-xr-xaux/workflow/dist.sh2
2 files changed, 3 insertions, 2 deletions
diff --git a/aux/lib.sh b/aux/lib.sh
index b47812d..cfb59d7 100755
--- a/aux/lib.sh
+++ b/aux/lib.sh
@@ -13,7 +13,8 @@ uuid() {
}
tmpname() {
- echo 'mkstemp(template)' | m4 -D template="${TMPDIR:-/tmp}/m4-tmpname."
+ TEMPLATE="${TMPDIR:-/tmp}/m4-tmpname.diacritic รก and spaces."
+ echo 'mkstemp(template)' | m4 -D template="$TEMPLATE"
}
mkstemp() {
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.'