diff options
| author | EuAndreh <eu@euandre.org> | 2022-01-21 00:37:21 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2022-02-19 16:33:23 -0300 |
| commit | efd4bc1eaa34d011ca425218f4f85defe79737d2 (patch) | |
| tree | ee4edb0352940109ec57fb3b2d7354f3e7b32a13 | |
| parent | src/locale/: Update translation files (diff) | |
| download | td-efd4bc1eaa34d011ca425218f4f85defe79737d2.tar.gz td-efd4bc1eaa34d011ca425218f4f85defe79737d2.tar.xz | |
aux/: Update
| -rwxr-xr-x | aux/ci/ci-build.sh | 2 | ||||
| -rwxr-xr-x | aux/lib.sh | 2 | ||||
| -rwxr-xr-x | aux/workflow/dist.sh | 2 | ||||
| -rwxr-xr-x | tests/lib.sh | 2 |
4 files changed, 4 insertions, 4 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 @@ -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.' diff --git a/tests/lib.sh b/tests/lib.sh index f2d5555..750cb68 100755 --- a/tests/lib.sh +++ b/tests/lib.sh @@ -127,7 +127,7 @@ uuid() { } tmpname() { - echo 'mkstemp(template)' | m4 -D template="${TMPDIR:-/tmp}/m4-tmpname." + echo "${TMPDIR:-/tmp}/uuid-tmpname with spaces.$(uuid)" } mkstemp() { |