diff options
| author | EuAndreh <eu@euandre.org> | 2023-03-30 18:51:34 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2023-03-30 18:51:34 -0300 |
| commit | 69f6cfb77773d46833be8a4040114545d07f8535 (patch) | |
| tree | b162dd26ac9e0cc06f1cd7096a05c5f08303d273 | |
| parent | git-post-receive.sh: Notify when report generation ends (diff) | |
| download | toph-69f6cfb77773d46833be8a4040114545d07f8535.tar.gz toph-69f6cfb77773d46833be8a4040114545d07f8535.tar.xz | |
git-post-receive.sh: Include PID on syslogd entry
Notes
See CI logs with:
git notes --ref=refs/notes/ci-logs show 69f6cfb77773d46833be8a4040114545d07f8535
git notes --ref=refs/notes/ci-data show 69f6cfb77773d46833be8a4040114545d07f8535
Exit status: 0
Duration: 20
| -rwxr-xr-x | src/infrastructure/ci/git-post-receive.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/infrastructure/ci/git-post-receive.sh b/src/infrastructure/ci/git-post-receive.sh index 9dc05e7..ea2dfcb 100755 --- a/src/infrastructure/ci/git-post-receive.sh +++ b/src/infrastructure/ci/git-post-receive.sh @@ -147,7 +147,7 @@ mkdtemp() { "$DIR"/ "$HTML_OUTDIR_CI"/ rm -rf "$DIR" printf 'Git CI HTML report for %s generated.\n' "$SHA" >&2 - } 2>&1 | logger -p local0.warn -t git-ci 1>/dev/null 2>&1 & + } 2>&1 | logger -i -p local0.warn -t git-ci 1>/dev/null 2>&1 & } trap finish EXIT |