commit 0aaedf54625f4c0f1699690ea7153406c15f1ad1
parent fcb9fc7e615f741d21db75bf6b53e0dd02c31f38
Author: Vincent Forest <vincent.forest@meso-star.com>
Date: Thu, 19 Oct 2023 16:14:09 +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:
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-2018, 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;31mErreur\e[m\n"
+ printf "\033[1;31mErreur\033[m\n"
fi
done 2> /dev/null
}