-fix output formatting

This commit is contained in:
Christian Grothoff 2021-09-27 11:32:54 +02:00
parent 4cff3c1a5c
commit 26c0dc7841
No known key found for this signature in database
GPG Key ID: 939E6BE1E29FC3CC

View File

@ -120,6 +120,7 @@ function audit_only () {
# Cleanup to run after the auditor
function post_audit () {
echo -n "Cleanup ..."
cleanup
echo " DONE"
echo -n "TeXing ."