From 377391cda984f71624f1fa779168bbf48d0aea0f Mon Sep 17 00:00:00 2001
From: Brian Smith <brian@briansmith.org>
Date: Fri, 27 Jul 2018 07:06:35 -1000
Subject: [PATCH] Fix build on Linux. (#1372)

Without this change the Linux build fails. Apparently
commit 554ffe6a465d025c5777c23d38faf7202e083842 added the use of a
bash-specific feature.

Signed-off-by: Brian Smith <brian@briansmith.org>
---
 bin/_tag.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/bin/_tag.sh b/bin/_tag.sh
index 59a1cb85d..b8b0cf46f 100644
--- a/bin/_tag.sh
+++ b/bin/_tag.sh
@@ -1,3 +1,5 @@
+#!/bin/bash
+
 set -eu
 
 git_sha_head() {