htpp

commit 1f2fa70f666d1ef58e8c6645b04d4d8b3ac1ab6a
parent afc94997ef49b61071e0a37923eca4da7bdfa63a
Author: Vincent Forest <vincent.forest@meso-star.com>
Date:   Mon, 30 Oct 2023 16:25:20 +0100

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) 2018-2020, 2023 |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