aboutsummaryrefslogtreecommitdiff
path: root/aux/workflow/dist.sh
diff options
context:
space:
mode:
authorEuAndreh <eu@euandre.org>2022-01-21 00:16:20 -0300
committerEuAndreh <eu@euandre.org>2022-01-21 00:16:20 -0300
commit7f919e5fe544b1ad7ec56623d9f8ea4df1379bca (patch)
tree89c7ccbf007b072bce2ff6d2705c6adf60568073 /aux/workflow/dist.sh
parentsrc/xyz/euandreh/posix.scm: Disable c99 package (diff)
downloadpackage-repository-7f919e5fe544b1ad7ec56623d9f8ea4df1379bca.tar.gz
package-repository-7f919e5fe544b1ad7ec56623d9f8ea4df1379bca.tar.xz
aux/: Update
Diffstat (limited to 'aux/workflow/dist.sh')
-rwxr-xr-xaux/workflow/dist.sh2
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.'