make check: Fail if the tests failed

diff --git a/Makefile.in b/Makefile.in
index 42baa8dfff5f370b6aa5f8cc8daa301897312123..b33eff4d94da7bca3a2b3ea3ffe42cc0acfb5935 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -339,10 +339,12 @@ junk += $(bintest_outs)
        ./$* < /dev/null 2>&1 | tee $@
 
 check-cpp : $(test_outs)
-       echo; grep -h -e'Unit Tests' -e'FAILED' -e'Segmentation' $^ < /dev/null; echo
+       @echo
+       ! grep -h -e'Unit Tests' -e'FAILED' -e'Segmentation' $^ < /dev/null
+       @echo
 
 check-bin : $(bintest_outs)
-       tail -n 1 $^ < /dev/null
+       ! tail -n 1 $^ < /dev/null 2>&1 | grep FAILED
 
 check : check-cpp check-bin