commit 8d869eab2a10c8700db9e09129a2749ef643f919
parent fb8b023c7f81a7a0d4c121e42fea2e18b2a80bdd
Author: Vincent Forest <vincent.forest@meso-star.com>
Date: Fri, 27 Oct 2023 11:50:59 +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) 2020-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
}