diff options
author | Christian Grothoff <christian@grothoff.org> | 2019-09-15 12:01:42 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2019-09-15 12:01:42 +0200 |
commit | 3a8581bc5e2a6b9434aea17b5f4c144d8972a36c (patch) | |
tree | 30b6226a49263d2d10be498dd7b86daea3723bad | |
parent | f552d0c8fb2fee103c9d746cf84db537841887d8 (diff) | |
download | exchange-3a8581bc5e2a6b9434aea17b5f4c144d8972a36c.tar.gz exchange-3a8581bc5e2a6b9434aea17b5f4c144d8972a36c.zip |
hide kill output
-rwxr-xr-x | src/auditor/test-auditor.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/auditor/test-auditor.sh b/src/auditor/test-auditor.sh index 7a7f0d29d..83de1f6c0 100755 --- a/src/auditor/test-auditor.sh +++ b/src/auditor/test-auditor.sh | |||
@@ -83,7 +83,7 @@ function audit_only () { | |||
83 | 83 | ||
84 | # Cleanup to run after the auditor | 84 | # Cleanup to run after the auditor |
85 | function post_audit () { | 85 | function post_audit () { |
86 | kill -9 `jobs -p` || true | 86 | kill -9 `jobs -p` >/dev/null 2>/dev/null || true |
87 | 87 | ||
88 | echo -n "TeXing ." | 88 | echo -n "TeXing ." |
89 | ../../contrib/render.py test-audit.json test-wire-audit.json < ../../contrib/auditor-report.tex.j2 > test-report.tex || exit_fail "Renderer failed" | 89 | ../../contrib/render.py test-audit.json test-wire-audit.json < ../../contrib/auditor-report.tex.j2 > test-report.tex || exit_fail "Renderer failed" |