From a87a4ce540ce786a43a721756cf374764caf579b Mon Sep 17 00:00:00 2001
From: Kevin Huck <khuck@cs.uoregon.edu>
Date: Wed, 13 Nov 2019 09:51:48 -0800
Subject: [PATCH] maketag.sh should exit on error

---
 etc/maketag.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/etc/maketag.sh b/etc/maketag.sh
index 3c22719b..36433756 100755
--- a/etc/maketag.sh
+++ b/etc/maketag.sh
@@ -1,3 +1,5 @@
+#!/bin/bash -e
+
 git checkout master
 git merge develop