diff options
Diffstat (limited to 'tests/Makefile.in')
| -rw-r--r-- | tests/Makefile.in | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/tests/Makefile.in b/tests/Makefile.in index 71c077d..c3040ff 100644 --- a/tests/Makefile.in +++ b/tests/Makefile.in @@ -39,5 +39,16 @@ test: fi; \ all=$$(($$all + 1)); \ done; \ - printf '%d out of %d tests failed\n' $${failed} $${all}; \ + banner="$$(printf '%d out of %d tests failed' $${failed} $${all})"; \ + l=$$(echo "$${banner}" | wc -c); \ + i=1; while [ "$${i}" -lt "$${l}" ]; do \ + printf '='; \ + i=$$(($$i + 1)); \ + done; \ + printf '\n%s\n' "$${banner}"; \ + i=1; while [ $${i} -lt $${l} ]; do \ + printf '='; \ + i=$$(($$i + 1)); \ + done; \ + printf '\n'; \ exit $${failed} |