Commit bec882f9 authored by POTTIER Francois's avatar POTTIER Francois

Sleep 1 second before running the benchmark.

When emacs is open and reverts the buffer, this could help
avoid interference.
parent 7d8c2e24
......@@ -20,14 +20,12 @@ then
exit 1
fi
# Remove this, as it slows things down.
# export OCAMLRUNPARAM=b
# Go back to 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)..."
......@@ -40,6 +38,7 @@ git stash pop
echo "Compiling (current uncommitted version)..."
(
make &> compile.new || exit 1
sleep 1
for FILE in "$@"
do
echo "Running ($FILE.mly)..."
......
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