commit 954fdbe07411cb4ad7768cac2675a7c40fa34f41
parent d0964be4c3e5327ef8e67e971a3587015c9c7f72
Author: Vincent Forest <vincent.forest@meso-star.com>
Date: Mon, 30 Oct 2023 16:58:25 +0100
Explicitly enable the -e option in the make.sh script
It was previously defined in the shebang but was actually ignore.
Diffstat:
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/make.sh b/make.sh
@@ -1,4 +1,4 @@
-#!/bin/sh -e
+#!/bin/sh
# Copyright (C) 2018, 2019, 2020, 2021 |Méso|Star> (contact@meso-star.com)
# Copyright (C) 2018, 2019 Centre National de la Recherche Scientifique
@@ -17,6 +17,8 @@
# You should have received a copy of the GNU General Public License
# along with this program. If not, see <http://www.gnu.org/licenses/>.
+set -e
+
install()
{
prefix=$1
