diff --git a/bin/build_dependencies_unix.sh b/bin/build_dependencies_unix.sh index 9e79c8ae..81f3cc48 100755 --- a/bin/build_dependencies_unix.sh +++ b/bin/build_dependencies_unix.sh @@ -176,8 +176,8 @@ cd arb-$ARBVER --with-mpfr=$PREFIX\ --disable-static make -j3 - make check make install + make check cd .. # ------------------------------------------------------------------------- #