From 7f919e5fe544b1ad7ec56623d9f8ea4df1379bca Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Fri, 21 Jan 2022 00:16:20 -0300
Subject: aux/: Update

---
 aux/ci/ci-build.sh   | 2 +-
 aux/lib.sh           | 2 +-
 aux/workflow/dist.sh | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'aux')

diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh
index 332d9f0..5e5e656 100755
--- a/aux/ci/ci-build.sh
+++ b/aux/ci/ci-build.sh
@@ -36,7 +36,7 @@ EOF
 		cd -
 		git fetch origin refs/notes/*:refs/notes/*
 		sh aux/ci/report.sh -n "$PROJECT" -o public
-		rsync -av public/ "/srv/http/$PROJECT/" --delete
+		rsync -av public/ "/srv/http/$PROJECT/"
 
 		tar -C /srv/http -cf /srv/http/"$PROJECT"/repo.tar.gz \
 			"$PROJECT".git
diff --git a/aux/lib.sh b/aux/lib.sh
index b47812d..ba18f9a 100755
--- a/aux/lib.sh
+++ b/aux/lib.sh
@@ -13,7 +13,7 @@ uuid() {
 }
 
 tmpname() {
-	echo 'mkstemp(template)' | m4 -D template="${TMPDIR:-/tmp}/m4-tmpname."
+	echo "${TMPDIR:-/tmp}/uuid-tmpname with spaces.$(uuid)"
 }
 
 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.'
-- 
cgit v1.2.3