master: fix doc spelling error, fix get_eigen.sh so works when version increases.
Brad Bell
3 years ago
105 | 105 |
fi
|
106 | 106 |
# -----------------------------------------------------------------------------
|
107 | 107 |
echo_eval cd $package.git
|
|
108 |
echo_eval git checkout master
|
108 | 109 |
echo_eval git checkout --quiet $version
|
109 | 110 |
if [ ! -e build ]
|
110 | 111 |
then
|