diff options
| -rwxr-xr-x | src/test.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/test.sh b/src/test.sh index c1884a2..090dc6f 100755 --- a/src/test.sh +++ b/src/test.sh @@ -38,14 +38,14 @@ done; echo "---" echo "Testing TYPING/" for a in ../tests/typing/good/*.cpp; do - if ./minic++ $a; + if ./minic++ --type-only $a; then echo "OK $a"; else echo "FAIL $a"; fi; done; for a in ../tests/typing/bad/*.cpp; do - if ./minic++ $a 2> /dev/null; + if ./minic++ --type-only $a 2> /dev/null; then echo "FAIL $a"; else echo "OK $a"; fi; |