aboutsummaryrefslogtreecommitdiff
path: root/aux
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
parent7965d79f564b5cdc5dbeb8409d3247d6ade9385e (diff)
downloadpackage-repository-7f919e5fe544b1ad7ec56623d9f8ea4df1379bca.tar.gz
aux/: Update
Diffstat (limited to 'aux')
-rwxr-xr-xaux/ci/ci-build.sh2
-rwxr-xr-xaux/lib.sh2
-rwxr-xr-xaux/workflow/dist.sh2
3 files changed, 3 insertions, 3 deletions
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.'