Commit 566ccd7ec2a33ffd8156cf237af014da9ed6e172

Thomas de Grivel 2023-11-14T09:27:23

use printf

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
diff --git a/test/ic3_test b/test/ic3_test
index d8788dd..ce0790e 100755
--- a/test/ic3_test
+++ b/test/ic3_test
@@ -67,9 +67,9 @@ if [ "x$DIFFS" != "x" ]; then
     less $DIFFS || cat $DIFFS
 fi
 echo
-echo -n "Total $TEST_COUNT tests. "
-echo -n "${TEST_COLOR_OK}OK $TEST_OK ($(($TEST_OK * 100 / $TEST_COUNT))%)${TEST_COLOR_RESET}. "
-echo "${TEST_COLOR_KO}KO $TEST_KO ($(($TEST_KO * 100 / $TEST_COUNT))%)${TEST_COLOR_RESET}."
+printf "%s" "Total $TEST_COUNT tests. "
+printf "%s" "${TEST_COLOR_OK}OK $TEST_OK ($(($TEST_OK * 100 / $TEST_COUNT))%)${TEST_COLOR_RESET}. "
+echo "%s" "${TEST_COLOR_KO}KO $TEST_KO ($(($TEST_KO * 100 / $TEST_COUNT))%)${TEST_COLOR_RESET}."
 
 if [ "x$TEST_KO" = "x0" ]; then
     exit 0