hide kill output

This commit is contained in:
Christian Grothoff 2019-09-15 12:01:42 +02:00
parent f552d0c8fb
commit 3a8581bc5e
No known key found for this signature in database
GPG Key ID: 939E6BE1E29FC3CC

View File

@ -83,7 +83,7 @@ function audit_only () {
# Cleanup to run after the auditor
function post_audit () {
kill -9 `jobs -p` || true
kill -9 `jobs -p` >/dev/null 2>/dev/null || true
echo -n "TeXing ."
../../contrib/render.py test-audit.json test-wire-audit.json < ../../contrib/auditor-report.tex.j2 > test-report.tex || exit_fail "Renderer failed"