Commit 0547f00d authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Tiny improvement.

parent 6bd48f25
......@@ -56,9 +56,9 @@ test: all
cat $$log ; \
fi ; \
if diff _menhir_table/$$out _menhir_no_inline/$$out > $$log ; then \
echo "menhir(table) versus menhir(no-inline): $$f: OK" ; \
echo "menhir(table) versus menhir(table,no-inline): $$f: OK" ; \
else \
echo "menhir(table) versus menhir(no-inline): $$f: FAILURE" ; \
echo "menhir(table) versus menhir(table,no-inline): $$f: FAILURE" ; \
cat $$log ; \
fi ; \
done
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment