summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2013-12-25 13:03:31 +0100
committerAlex AUVOLAT <alex.auvolat@ens.fr>2013-12-25 13:03:31 +0100
commit7ede04f410c1df7cfe3e96e4101db1570c2a16ae (patch)
treecae76743ef3160638c29405a565ed8111c14d5fe
parent5f148b96e2e2ce0c50db349cc45b912fcc61ffbb (diff)
downloadLPC-Projet-7ede04f410c1df7cfe3e96e4101db1570c2a16ae.tar.gz
LPC-Projet-7ede04f410c1df7cfe3e96e4101db1570c2a16ae.zip
correct testing script
-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;