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
15 $(GDBSERVER_PY
) --isolate
--$(subst .log
,,$@
) --cmd
$(RISCV_SIM
) \
16 > $@
2>&1 ||
(sed s
/^
/$@
:\
/ $@
&& false
)