summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rwxr-xr-xsrc/test.sh4
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;