Fix "check_quant" target in ocaml testsuite

Previously it would be confused by testcases names which were a suffix
of another testcase name (e.g. name and keyword_rename).
This commit is contained in:
Olly Betts 2015-03-18 15:49:48 +13:00
commit 064f18131d

View file

@ -25,18 +25,11 @@ run_testcase = \
fi ;
check_quant:
cat /dev/null > testing
cat /dev/null > success
cat /dev/null > results
: > testing
: > success
$(MAKE) check
echo "Failed:" >> results
for element in `cat testing` ; do \
if grep $$element success >/dev/null 2>/dev/null ; then \
: ; \
else \
echo $$element >> results ; \
fi ; \
done
echo "Failed:" > results
diff testing success | sed 's/^< //p;d' >> results
echo "Success:" >> results
cat success >> results