diff --git a/install b/install index 7b7e8d2e6250ecfb97fefe7ce398fec234e55b15..5c1fef8bffb5e4b06e2fbeb1ce67d34c657ea915 100755 --- a/install +++ b/install @@ -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