5 GDBSERVER_PY
= $(src_dir
)/gdbserver.py
7 default
: spike
$(XLEN
).log
9 all: pylint spike32.log spike64.log
12 pylint
--rcfile
=pylint.rc
*.py
18 --sim_cmd
$(RISCV
)/bin
/$(RISCV_SIM
) \
19 --server_cmd openocd \
20 > $@
2>&1 ||
(sed s
/^
/$@
:\
/ $@
&& false
)