Be verbose, since output is going to a log file.

[riscv-tests.git] / debug / Makefile

diff --git a/debug/Makefile b/debug/Makefile
index a138f25d9ae63873d1fb58d42558d4f2712e83ad..62d787505b1d52de76f2f7d5871e2f611d753d68 100644 (file)
--- a/debug/Makefile
+++ b/debug/Makefile
@@ -3,10 +3,10 @@ RISCV_SIM ?= spike
 all:   spike32.log spike64.log
 
 spike32.log:
-       ./gdbserver.py --isolate --spike32 --cmd $(RISCV_SIM) > $@ 2>&1
+       ./gdbserver.py --isolate --spike32 --cmd $(RISCV_SIM) -- -v > $@ 2>&1
 
 spike64.log:
-       ./gdbserver.py --isolate --spike --cmd $(RISCV_SIM) > $@ 2>&1
+       ./gdbserver.py --isolate --spike --cmd $(RISCV_SIM) -- -v > $@ 2>&1
 
 clean:
        rm -f *.log