From 9c25eb35ca3bc9d758751b8342c858e6673446cc Mon Sep 17 00:00:00 2001
From: Peter Boyle <paboyle@ph.ed.ac.uk>
Date: Tue, 20 Mar 2018 07:18:56 -0400
Subject: [PATCH] Eigen develop branch for now

---
 scripts/update_eigen.sh | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/scripts/update_eigen.sh b/scripts/update_eigen.sh
index d1338e4d..d3d367f5 100755
--- a/scripts/update_eigen.sh
+++ b/scripts/update_eigen.sh
@@ -7,13 +7,8 @@ fi
 ARC=$1
 
 INITDIR=`pwd`
-rm -rf lib/Eigen
-ARCDIR=`tar -tf ${ARC} | head -n1 | sed -e 's@/.*@@'`
-tar -xf ${ARC}
-cd ${ARCDIR}
-(tar -cf - Eigen --exclude='*.txt' 2>/dev/null) | tar -xf - -C ../lib/
 cd ../lib
 echo 'eigen_files =\' > Eigen.inc
 find Eigen -type f -print | sed 's/^/  /;$q;s/$/ \\/' >> Eigen.inc
 cd ${INITDIR}
-rm -rf ${ARCDIR}
+