From 29cf713fa57591a64da8b023dc635c09aedf107e Mon Sep 17 00:00:00 2001
From: David Renshaw <dwrenshaw@gmail.com>
Date: Tue, 12 May 2020 23:04:06 -0400
Subject: [PATCH] set -e in do_benchmarks.bash

---
 do_benchmarks.bash | 1 +
 1 file changed, 1 insertion(+)

diff --git a/do_benchmarks.bash b/do_benchmarks.bash
index e54b22a..fee1144 100755
--- a/do_benchmarks.bash
+++ b/do_benchmarks.bash
@@ -1,6 +1,7 @@
 #! /bin/bash
 
 set -x
+set -e
 shopt -s expand_aliases
 
 rm -f fifo;