star-ck

commit 7a711a6c338de7454f87b78e3607515026ac5df9
parent 0fe56f3d3fca35278c91a0b9480d8a4f7160b41d
Author: Vincent Forest <vincent.forest@meso-star.com>
Date:   Mon, 30 Oct 2023 12:06:02 +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) 2022, 2023 |Méso|Star> (contact@meso-star.com)
 # Copyright (C) 2020, 2021 CNRS
@@ -16,6 +16,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
@@ -33,9 +35,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
 }