From 10558bb49d48076511aa383a3b2f5347e64f9996 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Sat, 16 May 2020 17:36:30 +0200
Subject: [PATCH] Updating BOOST to 1.72
---
install | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/install b/install
index 7b7e8d2e6..5c1fef8bf 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
--
GitLab