From 68d65fa9a44885bbe8d93673655e8c5ad98ed628 Mon Sep 17 00:00:00 2001
From: Tim Newsome <tim@sifive.com>
Date: Fri, 11 Aug 2017 11:15:11 -0700
Subject: [PATCH] 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.
---
 debug/Makefile | 12 +++++-------
 1 file 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
-- 
2.30.2