From 87a5eff781b26fe696a96d7370763f42e2d8d6bc Mon Sep 17 00:00:00 2001
From: Sunil Pinnamaneni <sunil@exactnote.com>
Date: Sat, 20 Apr 2024 16:23:51 -0400
Subject: [PATCH] Specify shell for bin/get_eigen.sh script

This commit prevents errors for people using sh, zsh, or other
shells that don't support '[[' syntax. All the other scripts of the
form bing/get_*.sh specify the shell.
---
 bin/get_eigen.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bin/get_eigen.sh b/bin/get_eigen.sh
index bcd8bb3f1..c05162ce5 100755
--- a/bin/get_eigen.sh
+++ b/bin/get_eigen.sh
@@ -1,3 +1,4 @@
+#! /bin/bash -e
 # SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-or-later
 # SPDX-FileCopyrightText: Bradley M. Bell <bradbell@seanet.com>
 # SPDX-FileContributor: 2003-24 Bradley M. Bell