diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-05-24 10:10:00 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-05-24 10:10:00 +0200 |
commit | 4e2fb826bd95e3f32459f1845948f37add3cbdb9 (patch) | |
tree | bc9e921b570d4fb2f9da1ddc1c64a2d9d93253e0 | |
parent | 82f9d1f96b30106a338e77ec83b7321c2c65f929 (diff) | |
download | compcert-4e2fb826bd95e3f32459f1845948f37add3cbdb9.tar.gz compcert-4e2fb826bd95e3f32459f1845948f37add3cbdb9.zip |
configure: regression on Menhir's minimal version
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -314,7 +314,7 @@ else ocaml_opt_comp=false fi -MENHIR_REQUIRED=20151112 +MENHIR_REQUIRED=20160303 echo "Testing Menhir... " | tr -d '\n' menhir_ver=`menhir --version 2>/dev/null | sed -n -e 's/^.*version \([0-9]*\).*$/\1/p'` case "$menhir_ver" in |