diff options
| author | Jonathan Neuschäfer <j.neuschaefer@gmx.net> | 2016-06-04 14:13:45 +0200 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-06-09 10:29:57 -0700 |
| commit | ab2858e065f9fa62eec0c2d053b98e45b41f6675 (patch) | |
| tree | 3a449d55237bb59a707bd10b396f9783c79db8df /Makefile.in | |
| parent | 1ec78cfedd16abb0095f9e77f2700af24522345d (diff) | |
| download | spike-ab2858e065f9fa62eec0c2d053b98e45b41f6675.zip spike-ab2858e065f9fa62eec0c2d053b98e45b41f6675.tar.gz spike-ab2858e065f9fa62eec0c2d053b98e45b41f6675.tar.bz2 | |
make check: Fail if the tests failed
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 42baa8d..b33eff4 100644 --- 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 |