aboutsummaryrefslogtreecommitdiff
path: root/src/auditor/test-auditor.sh
diff options
context:
space:
mode:
Diffstat (limited to 'src/auditor/test-auditor.sh')
-rwxr-xr-xsrc/auditor/test-auditor.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/auditor/test-auditor.sh b/src/auditor/test-auditor.sh
index d56497a9c..f2edf8299 100755
--- a/src/auditor/test-auditor.sh
+++ b/src/auditor/test-auditor.sh
@@ -84,7 +84,7 @@ function audit_only () {
84# Cleanup to run after the auditor 84# Cleanup to run after the auditor
85function post_audit () { 85function post_audit () {
86 kill -TERM `jobs -p` >/dev/null 2>/dev/null || true 86 kill -TERM `jobs -p` >/dev/null 2>/dev/null || true
87 87 sleep 1
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"
90 90