diff options
Diffstat (limited to 'test')
| -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 a675286..8b5db35 100755 --- a/test/test.sh +++ b/test/test.sh | |||
| @@ -10,7 +10,7 @@ for t in test/*; do | |||
| 10 | if [ -n "$re" ] && !(echo "$t" | grep -q "$re"); then | 10 | if [ -n "$re" ] && !(echo "$t" | grep -q "$re"); then |
| 11 | continue | 11 | continue |
| 12 | fi | 12 | fi |
| 13 | 13 | ||
| 14 | # Verify if $t is a directory and if its name starts with three digits | 14 | # Verify if $t is a directory and if its name starts with three digits |
| 15 | if [ -d "$t" ] && basename "$t" | grep -Eq '^[0-9]{3}'; then | 15 | if [ -d "$t" ] && basename "$t" | grep -Eq '^[0-9]{3}'; then |
| 16 | $CC -o $TESTBIN "$t"/*.c $OBJ || exit 1 | 16 | $CC -o $TESTBIN "$t"/*.c $OBJ || exit 1 |
