commit 219c1a7244d99de23646b28b1904f89e1f2a4aca
parent af9cf56003198872241361f452b30d136b48d66a
Author: Vincent Forest <vincent.forest@meso-star.com>
Date: Tue, 10 Oct 2023 16:42:49 +0200
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) 2014-2019, 2021, 2023 Vincent Forest (vaplv@free.fr)
#
@@ -15,6 +15,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
+
################################################################################
# Helper functions
################################################################################
