star-3dstl

commit faf3d52e60f915b2ecceedb1a9c8db5efdb9e24f
parent 8607a4fb7557a53c3c809eabdbc0e9d0641f8496
Author: Vincent Forest <vincent.forest@meso-star.com>
Date:   Thu, 19 Oct 2023 11:17:49 +0200

Explicitly enable the -e option in the make.sh script

It was previously defined in the shebang but was actually ignore.

Diffstat:
M
make.sh
 | 
4
+++-

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) 2016, 2018, 2021, 2023 |Méso|Star> (contact@meso-star.com)
 #
@@ -28,6 +28,8 @@
 # The fact that you are presently reading this means that you have had
 # knowledge of the CeCILL license and that you accept its terms.
 
+set -e
+
 install()
 {
   prefix=$1