From 5865f8eded6184e98b0bd14346e12b809ab98d0e Mon Sep 17 00:00:00 2001
From: David Caldwell <david@porkrind.org>
Date: Wed, 13 May 2020 15:23:19 -0700
Subject: [PATCH] combine-extra-source: Die on error

---
 combine-extra-source | 1 +
 1 file changed, 1 insertion(+)

diff --git a/combine-extra-source b/combine-extra-source
index 32888f3..7d85191 100755
--- a/combine-extra-source
+++ b/combine-extra-source
@@ -1,5 +1,6 @@
 #!/bin/bash
 
+set -e
 set -x
 
 base="${1?Usage: $0 base-name}"