From 87c5c0271bd8aae3980ca31bb0be34fb403cf923 Mon Sep 17 00:00:00 2001
From: Peter Boyle <paboyle@ph.ed.ac.uk>
Date: Mon, 16 Apr 2018 19:08:07 -0400
Subject: [PATCH] Ficxing eigen

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

diff --git a/bootstrap.sh b/bootstrap.sh
index bcd62468..573d90eb 100755
--- a/bootstrap.sh
+++ b/bootstrap.sh
@@ -7,6 +7,7 @@ cd lib
 rm -rf Eigen
 git clone https://github.com/eigenteam/eigen-git-mirror.git
 mv eigen-git-mirror/Eigen .
+rm -rf eigen-git-mirror
 echo 'eigen_files =\' > Eigen.inc
 find Eigen -type f -print | sed 's/^/  /;$q;s/$/ \\/' >> Eigen.inc
 cd ..