commit 8b0fd885bd2cc5f345521609694be66f7c5e0163
parent c38ba5c99a6363131f1529badff8087d85c4d900
Author: Vincent Forest <vincent.forest@meso-star.com>
Date: Tue, 31 Oct 2023 10:35:39 +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:
1 file changed, 5 insertions(+), 4 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 Centre National de la Recherche Scientifique
@@ -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,14 +35,13 @@ 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
}
-
clean_test()
{
for i in "$@"; do
