diff --git a/ThirdParty/AllMake.pre b/ThirdParty/AllMake.pre index cebcc2a6f..f5e2a167e 100755 --- a/ThirdParty/AllMake.pre +++ b/ThirdParty/AllMake.pre @@ -72,6 +72,8 @@ echo # Running stage 4 ./AllMake.stage4 +# Running stage eigen +./AllMake.eigen echo ======================================== echo Done ThirdParty Allwmake.pre