Commit 776b2e8b authored by POTTIER Francois's avatar POTTIER Francois

Fixed compare.sh to remain at verbosity level 2 (-la 2).

parent 6553cc0c
......@@ -12,7 +12,7 @@
BENCH=../bench/good
MENHIR=_stage1/menhir.native
BASE="-v -lg 1 -la 1"
BASE="-v -lg 1"
if [ $# -eq 0 ]
then
......
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