diff options
author | Tim Newsome <tim@sifive.com> | 2017-08-11 11:15:11 -0700 |
---|---|---|
committer | Tim Newsome <tim@sifive.com> | 2017-08-11 11:15:11 -0700 |
commit | 68d65fa9a44885bbe8d93673655e8c5ad98ed628 (patch) | |
tree | 573c523a30b4e3dcd2e0b69214ea4764b0c7ebf6 | |
parent | 6ff97655e7c6922a0e855c030b9f28a2eeba1fe0 (diff) | |
download | riscv-tests-68d65fa9a44885bbe8d93673655e8c5ad98ed628.zip riscv-tests-68d65fa9a44885bbe8d93673655e8c5ad98ed628.tar.gz riscv-tests-68d65fa9a44885bbe8d93673655e8c5ad98ed628.tar.bz2 |
Don't use `set pipefail` which is a bashism.
Instead, just give up on making the log files altogether now. Since
gdbserver.py makes its own log files it's not as necessary in any case.
This is yet another commit in an attempt to get the riscv-tools build to
actually fail if these tests fail.
-rw-r--r-- | debug/Makefile | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/debug/Makefile b/debug/Makefile index a5ea832..d252b55 100644 --- a/debug/Makefile +++ b/debug/Makefile @@ -4,21 +4,19 @@ XLEN ?= 64 src_dir ?= . GDBSERVER_PY = $(src_dir)/gdbserver.py -default: spike$(XLEN).log +default: spike$(XLEN) -all: pylint spike32.log spike64.log +all: pylint spike32 spike64 pylint: pylint --rcfile=pylint.rc `git ls-files '*.py'` -%.log: - set -o pipefail; \ +spike%: $(GDBSERVER_PY) \ --isolate \ - $(src_dir)/targets/RISC-V/$(subst .log,.py,$@) \ + $(src_dir)/targets/RISC-V/$@.py \ --sim_cmd $(RISCV)/bin/$(RISCV_SIM) \ --server_cmd $(RISCV)/bin/openocd \ - | tee $@ 2>&1 || (sed s/^/$@:\ / $@ && false) clean: - rm -f spike32.log spike64.log *.pyc + rm -f *.pyc |