Commit 65889aa0 authored by POTTIER Francois's avatar POTTIER Francois

Do not use OCAMLRUNPARAM=b in compare.sh.

parent e33a97c9
......@@ -20,7 +20,8 @@ then
exit 1
fi
export OCAMLRUNPARAM=b
# Remove this, as it slows things down.
# export OCAMLRUNPARAM=b
# Go back to the last committed version.
git stash
......
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