diff --git a/etc/hooks/post-commit b/etc/hooks/post-commit index 0999a7e..d3b3ad3 100755 --- a/etc/hooks/post-commit +++ b/etc/hooks/post-commit @@ -43,7 +43,7 @@ if make test-ci > "$root/.test/results" 2>&1; then grep -E 'Generated [[:digit:]]+ listings' -B1 --color=no "$root/.test/results"; cat <