From 3127b52c907d6055d5d8e044a1e3764cea8c9f6f Mon Sep 17 00:00:00 2001
From: Antonin Portelli <antonin.portelli@me.com>
Date: Sun, 3 Dec 2017 19:48:34 +0100
Subject: [PATCH] bootstrap script does not destroy Eigen is working offline

---
 bootstrap.sh | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/bootstrap.sh b/bootstrap.sh
index dfb6735d..bdf748df 100755
--- a/bootstrap.sh
+++ b/bootstrap.sh
@@ -3,9 +3,7 @@
 EIGEN_URL='http://bitbucket.org/eigen/eigen/get/3.3.3.tar.bz2'
 
 echo "-- deploying Eigen source..."
-wget ${EIGEN_URL} --no-check-certificate
-./scripts/update_eigen.sh `basename ${EIGEN_URL}`
-rm `basename ${EIGEN_URL}`
+wget ${EIGEN_URL} --no-check-certificate && ./scripts/update_eigen.sh `basename ${EIGEN_URL}` && rm `basename ${EIGEN_URL}`
 
 echo '-- generating Make.inc files...'
 ./scripts/filelist