fix auditor test

This commit is contained in:
Marcello Stanisci 2019-09-05 14:17:01 +02:00
parent fa54d42dc3
commit b93fbac1cc
No known key found for this signature in database
GPG Key ID: 8D526861953F4C0F

View File

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