htcp

commit 8cef10e69d9bc7e5a65bed814f61ca00cde25c89
parent f644273287bdff97dadc239d0ee12f03bfe67cd3
Author: Vincent Forest <vincent.forest@meso-star.com>
Date:   Mon, 30 Oct 2023 15:03:48 +0100

Update the make.sh script

Explicitly enable the -e option in the make.sh script. It was previously
defined in the shebang but was actually ignore.

Update the escape sequence in messages displayed by "make test". Some
shells (e.g. dash) don't support the '\e' character in printf: the
escape sequence is simply ignored. So we've replaced '\e' with '\033' in
the printf used to display colored messages in "make test". This should
work as expected in all shells.

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

1 file changed, 5 insertions(+), 3 deletions(-)
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 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
+
 config_test()
 {
   for i in "$@"; do
@@ -34,9 +36,9 @@ run_test()
 
     printf "%s " "${test}"
     if "./${test}" > /dev/null 2>&1; then
-      printf "\e[1;32mOK\e[m\n"
+      printf "\033[1;32mOK\033[m\n"
     else
-      printf "\e[1;31mError\e[m\n"
+      printf "\033[1;31mError\033[m\n"
     fi
   done 2> /dev/null
 }