From 0160c88c2920fd4e2448eabd4ee8c76133b8945c Mon Sep 17 00:00:00 2001 From: Antonin Portelli Date: Tue, 17 Nov 2020 11:56:10 +0000 Subject: [PATCH] bootstrap script fix --- bootstrap.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bootstrap.sh b/bootstrap.sh index d7e6800..089ab82 100755 --- a/bootstrap.sh +++ b/bootstrap.sh @@ -2,5 +2,5 @@ rm -rf .buildutils mkdir -p .buildutils/m4 -./update_eigen.sh eigen-3.3.7.tar.bz2 +./update_eigen.sh eigen-3.3.8.tar.bz2 autoreconf -fvi