diff options
Diffstat (limited to 'src/infrastructure/ci/git-post-receive.sh')
| -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 |