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 # SPDX-FileContributor: 2003-24 Bradley M. Bell