From 4c8a335f6aabd6c05577aceb31eb9b16142eb67c Mon Sep 17 00:00:00 2001
From: Palmer Dabbelt <palmer@dabbelt.com>
Date: Wed, 17 May 2017 08:28:16 -0700
Subject: [PATCH] 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
-- 
2.30.2