diff options
Diffstat (limited to 'test/test.sh')
| -rwxr-xr-x | test/test.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 | |||
| 12 | continue | 12 | continue |
| 13 | fi | 13 | fi |
| 14 | 14 | ||
| 15 | # Verifica se $t รจ una directory e se il suo nome inizia con tre cifre | 15 | # Verify if $t is a directory and if its name starts with three digits |
| 16 | if [ -d "$t" ] && echo "$(basename "$t")" | grep -Eq '^[0-9]{3}'; then | 16 | if [ -d "$t" ] && echo "$(basename "$t")" | grep -Eq '^[0-9]{3}'; then |
| 17 | $CC -o $TESTBIN $t/*.c $CUBEOBJ || exit 1 | 17 | $CC -o $TESTBIN $t/*.c $CUBEOBJ || exit 1 |
| 18 | for cin in $t/*.in; do | 18 | for cin in $t/*.in; do |
