From d9c4402414895e6235376e8d2c6323e6ee292b23 Mon Sep 17 00:00:00 2001
From: Palmer Dabbelt <palmer@dabbelt.com>
Date: Wed, 17 May 2017 08:28:16 -0700
Subject: Show the debug logs to stdout, to avoid travis timeouts

---
 debug/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debug/Makefile b/debug/Makefile
index 5726883..f835507 100644
--- a/debug/Makefile
+++ b/debug/Makefile
@@ -17,7 +17,7 @@ pylint:
 		--$(subst .log,,$@) \
 		--sim_cmd $(RISCV)/bin/$(RISCV_SIM) \
 		--server_cmd $(RISCV)/bin/openocd \
-	    > $@ 2>&1 || (sed s/^/$@:\ / $@ && false)
+	    | tee $@ 2>&1 || (sed s/^/$@:\ / $@ && false)
 
 clean:
 	rm -f *.log *.pyc
-- 
cgit v1.1