From 4e7906014664ba878a8a7b5b3d30124234900dc0 Mon Sep 17 00:00:00 2001 From: enricotenuti Date: Thu, 8 Aug 2024 15:39:37 +0200 Subject: spaces fix --- test/test.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/test.sh') diff --git a/test/test.sh b/test/test.sh index 4325c91..ce120eb 100755 --- a/test/test.sh +++ b/test/test.sh @@ -12,7 +12,7 @@ for t in test/*; do continue fi - # Verifica se $t รจ una directory e se il suo nome inizia con tre cifre + # Verify if $t is a directory and if its name starts with three digits if [ -d "$t" ] && echo "$(basename "$t")" | grep -Eq '^[0-9]{3}'; then $CC -o $TESTBIN $t/*.c $CUBEOBJ || exit 1 for cin in $t/*.in; do -- cgit v1.3