commit 70b1b0403a2032480bf25e4239e3e7a8bf5e8d42
parent fd58ed0204dccb73827ddab5cbaa85517f25d98c
Author: Vincent Forest <vincent.forest@meso-star.com>
Date: Fri, 27 Oct 2023 11:28:15 +0200
Update the make.sh script
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, 2 insertions(+), 2 deletions(-)
diff --git a/make.sh b/make.sh
@@ -34,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
}