From 6ff97655e7c6922a0e855c030b9f28a2eeba1fe0 Mon Sep 17 00:00:00 2001
From: Tim Newsome <tim@sifive.com>
Date: Fri, 11 Aug 2017 10:48:19 -0700
Subject: [PATCH] Don't eat errors in debug Makefile.

---
 debug/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debug/Makefile b/debug/Makefile
index 525cbf1..a5ea832 100644
--- a/debug/Makefile
+++ b/debug/Makefile
@@ -12,6 +12,7 @@ pylint:
 	pylint --rcfile=pylint.rc `git ls-files '*.py'`
 
 %.log:
+	set -o pipefail; \
 	$(GDBSERVER_PY) \
 		--isolate \
 		$(src_dir)/targets/RISC-V/$(subst .log,.py,$@) \
-- 
2.30.2