Make 'make check' not hang forever.
authorTim Newsome <tim@sifive.com>
Fri, 11 Mar 2016 01:57:23 +0000 (17:57 -0800)
committerTim Newsome <tim@sifive.com>
Mon, 23 May 2016 19:12:10 +0000 (12:12 -0700)
Makefile.in

index 240b46c951d959026d02de65a4db80e01f6ebd13..dc9ab0462b9bdfb9484fdcaaf51daa46b04259cc 100644 (file)
@@ -330,7 +330,7 @@ deps : $(deps)
 #-------------------------------------------------------------------------
 
 check : $(test_outs)
-       echo; grep -h -e'Unit Tests' -e'FAILED' -e'Segementation' $^; echo
+       echo; grep -h -e'Unit Tests' -e'FAILED' -e'Segementation' $^ < /dev/null; echo
 
 .PHONY : check