diff options
Diffstat (limited to 'aux')
| -rwxr-xr-x | aux/lib.sh | 3 | ||||
| -rwxr-xr-x | aux/workflow/dist.sh | 2 |
2 files changed, 3 insertions, 2 deletions
@@ -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.' |