From b93fbac1cc9d214c8eaf61d0c5fa9a6d6e3af5aa Mon Sep 17 00:00:00 2001 From: Marcello Stanisci Date: Thu, 5 Sep 2019 14:17:01 +0200 Subject: fix auditor test --- src/auditor/test-auditor.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/auditor') diff --git a/src/auditor/test-auditor.sh b/src/auditor/test-auditor.sh index a7b8a733a..f2a1aca56 100755 --- a/src/auditor/test-auditor.sh +++ b/src/auditor/test-auditor.sh @@ -77,7 +77,7 @@ function audit_only () { # Cleanup to run after the auditor function post_audit () { - kill `jobs -p` || true + kill -9 `jobs -p` || 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" -- cgit v1.2.3