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).

1 files changed, 4 insertions, 11 deletions

diff --git a/Examples/test-suite/ocaml/Makefile.in b/Examples/test-suite/ocaml/Makefile.in
index d5d533e1c..0956fcbc4 100644
--- a/Examples/test-suite/ocaml/Makefile.in
+++ b/Examples/test-suite/ocaml/Makefile.in
@@ -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