Commit 971bea60 authored by MARCHE Claude's avatar MARCHE Claude

fix subtle bug in nightly bench: regexp for Coq version

The new_ide branch changed the way prover are printed: the version
is not anymore between parentheses
parent 82ce1b40
......@@ -82,7 +82,7 @@ perl -pi -e 's/running_provers_max = 2/running_provers_max = 4/' why3.conf
# add uninstalled prover substitution policies
COQVER=`bin/why3 --list-provers | sed -n -e 's/ Coq (\(.*\))/\1/p'`
COQVER=`bin/why3 --list-provers | sed -n -e 's/ Coq \(.*\)/\1/p'`
if test "$COQVER" != "" ; then
cat >> why3.conf <<EOF
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment