From b8805d1b1569bc9715fdf9b43a9a62e94a19e609 Mon Sep 17 00:00:00 2001
From: Tim Newsome <tim@sifive.com>
Date: Thu, 10 Mar 2016 17:57:23 -0800
Subject: [PATCH] Make 'make check' not hang forever.

---
 Makefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.in b/Makefile.in
index 240b46c..dc9ab04 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -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
 
-- 
2.30.2