diff options
| author | EuAndreh <eu@euandre.org> | 2022-01-20 23:29:42 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2022-01-20 23:29:42 -0300 |
| commit | 7bb30b4d8ec7fdb24b23b02f04897d9b0480056f (patch) | |
| tree | da43640e508355eb73a3492e79546a312b1cf66d /aux/workflow | |
| parent | aux/workflow/TODOs.sh: Fix catenation of aux/workflow/preamble.md (diff) | |
| download | git-permalink-7bb30b4d8ec7fdb24b23b02f04897d9b0480056f.tar.gz git-permalink-7bb30b4d8ec7fdb24b23b02f04897d9b0480056f.tar.xz | |
Add diacritic and spaces to mk{s,d}temp paths to enforce that everything works with it
Diffstat (limited to '')
| -rwxr-xr-x | aux/workflow/dist.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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.' |