Commit 8672767a authored by POTTIER Francois's avatar POTTIER Francois

Fixed compare.sh.

parent 344ff5e8
......@@ -27,7 +27,7 @@ sleep 1
for FILE in "$@"
do
echo "Running ($FILE.mly)..."
{ time $MENHIR $BASE $OPT $BENCH/$FILE.mly ; } &>$FILE.new
{ time $MENHIR --list-errors $BASE $OPT $BENCH/$FILE.mly ; } &>$FILE.new
done
# Try the last committed version.
......@@ -38,7 +38,7 @@ sleep 1
for FILE in "$@"
do
echo "Running ($FILE.mly)..."
{ time $MENHIR $BASE $OPT $BENCH/$FILE.mly ; } &>$FILE.old
{ time $MENHIR --list-errors $BASE $OPT $BENCH/$FILE.mly ; } &>$FILE.old
done
git stash pop
......
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