Commit 10558bb4 authored by incardon's avatar incardon

Updating BOOST to 1.72

parent 220e52a5
Pipeline #1932 failed with stages
in 14 minutes and 30 seconds
......@@ -390,7 +390,7 @@ else
LIBHILBERT_installed=1
elif [ $conf_err -eq 211 ]; then
echo "VCDEVEL not found try to install"
if [ $LIBHILBERT_installed -eq 1 ]; then
if [ $VCDEVEL_installed -eq 1 ]; then
echo "Error the installation of VCDEVEL failed"
exit 1
fi
......
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