diff options
Diffstat (limited to 'tests/pr')
| -rw-r--r-- | tests/pr/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/pr/Makefile.in b/tests/pr/Makefile.in index a3bdf1b52..092fc5483 100644 --- a/tests/pr/Makefile.in +++ b/tests/pr/Makefile.in @@ -170,6 +170,7 @@ check-TESTS: $(TESTS) echo "========================"; \ else \ echo "$$failed of $$all tests failed"; \ + exit 1; \ fi info: dvi: |