diff options
| -rw-r--r-- | debug/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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 |