star-3dut

commit a38db70ad27474187d0c197fb7defb782af4e653
parent 2331d845a9d7b239689e7bc895e7172dc0711e1f
Author: Vincent Forest <vincent.forest@meso-star.com>
Date:   Fri, 27 Oct 2023 14:30:28 +0200

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) 2015, 2016, 2019, 2021, 2023 |Méso|Star> (contact@meso-star.com)
 #
@@ -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
+
 config_test()
 {
   for i in "$@"; do
@@ -32,9 +34,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
 }