diff options
author | Marcello Stanisci <stanisci.m@gmail.com> | 2019-09-05 14:17:01 +0200 |
---|---|---|
committer | Marcello Stanisci <stanisci.m@gmail.com> | 2019-09-05 14:17:13 +0200 |
commit | b93fbac1cc9d214c8eaf61d0c5fa9a6d6e3af5aa (patch) | |
tree | b8085b206febe81a7cb9b10a6fb940f08ccedadf | |
parent | fa54d42dc36ab54fccfbb67a691f77c2c5b04d6a (diff) | |
download | exchange-b93fbac1cc9d214c8eaf61d0c5fa9a6d6e3af5aa.tar.gz exchange-b93fbac1cc9d214c8eaf61d0c5fa9a6d6e3af5aa.zip |
fix auditor test
-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 a7b8a733a..f2a1aca56 100755 --- a/src/auditor/test-auditor.sh +++ b/src/auditor/test-auditor.sh | |||
@@ -77,7 +77,7 @@ function audit_only () { | |||
77 | 77 | ||
78 | # Cleanup to run after the auditor | 78 | # Cleanup to run after the auditor |
79 | function post_audit () { | 79 | function post_audit () { |
80 | kill `jobs -p` || true | 80 | kill -9 `jobs -p` || true |
81 | 81 | ||
82 | echo -n "TeXing ." | 82 | echo -n "TeXing ." |
83 | ../../contrib/render.py test-audit.json test-wire-audit.json < ../../contrib/auditor-report.tex.j2 > test-report.tex || exit_fail "Renderer failed" | 83 | ../../contrib/render.py test-audit.json test-wire-audit.json < ../../contrib/auditor-report.tex.j2 > test-report.tex || exit_fail "Renderer failed" |