Commit 2abafcc4 authored by POTTIER Francois's avatar POTTIER Francois

Modified compare.sh to begin with the current version, so we get

immediate feedback if it does not compile. Also fixed it to
properly show the compilation error message.
parent 323177d5
......@@ -20,31 +20,27 @@ then
exit 1
fi
# Go back to the last committed version.
# Try the current version.
echo "Compiling (current uncommitted version)..."
make &> compile.new || { cat compile.new && exit 1 ; }
sleep 1
for FILE in "$@"
do
echo "Running ($FILE.mly)..."
{ time $MENHIR $BASE $OPT $BENCH/$FILE.mly ; } &>$FILE.new
done
# Try the last committed version.
git stash
echo "Compiling (last committed version)..."
(
make &> compile.old || exit 1
sleep 1
for FILE in "$@"
do
echo "Running ($FILE.mly)..."
{ time $MENHIR $BASE $OPT $BENCH/$FILE.mly ; } &>$FILE.old
done
)
# Come back to the current (uncommitted) version.
make &> compile.old || { cat compile.old && exit 1 ; }
sleep 1
for FILE in "$@"
do
echo "Running ($FILE.mly)..."
{ time $MENHIR $BASE $OPT $BENCH/$FILE.mly ; } &>$FILE.old
done
git stash pop
echo "Compiling (current uncommitted version)..."
(
make &> compile.new || exit 1
sleep 1
for FILE in "$@"
do
echo "Running ($FILE.mly)..."
{ time $MENHIR $BASE $OPT $BENCH/$FILE.mly ; } &>$FILE.new
done
)
# Diff.
for FILE in "$@"
......
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