Commit 47fe09d2 authored by POTTIER Francois's avatar POTTIER Francois

Improve [compare.sh] to separate stderr and stdout logs.

parent dde2535d
......@@ -27,7 +27,7 @@ sleep 1
for FILE in "$@"
do
echo "Running ($FILE.mly)..."
{ time $MENHIR --list-errors -la 2 $BASE $OPT $BENCH/$FILE.mly ; } &>$FILE.new
{ time $MENHIR --list-errors -la 2 $BASE $OPT $BENCH/$FILE.mly ; } >$FILE.out.new 2>$FILE.err.new
done
# Try the last committed version.
......@@ -38,13 +38,15 @@ sleep 1
for FILE in "$@"
do
echo "Running ($FILE.mly)..."
{ time $MENHIR --list-errors -la 2 $BASE $OPT $BENCH/$FILE.mly ; } &>$FILE.old
{ time $MENHIR --list-errors -la 2 $BASE $OPT $BENCH/$FILE.mly ; } >$FILE.out.old 2>$FILE.err.old
done
git stash pop
# Diff.
for FILE in "$@"
do
echo "Diffing ($FILE.mly)..."
diff $FILE.old $FILE.new
echo "Diffing stderr ($FILE.mly)..."
diff $FILE.err.old $FILE.err.new
echo "Diffing stdout ($FILE.mly)..."
diff $FILE.out.old $FILE.out.new
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