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