CONFIG: update openmpi-1.10 minor

This commit is contained in:
Mark Olesen
2019-01-21 13:40:06 +01:00
parent 73e89f9332
commit 03bd58ee3a
4 changed files with 4 additions and 4 deletions

View File

@ -40,7 +40,7 @@ no_cgal()
}
# Reset variables
# Report
echo_cgal()
{
echo "cgal=${HAVE_CGAL:-false}"

View File

@ -40,7 +40,7 @@ no_hypre()
}
# Reset variables
# Report
echo_hypre()
{
echo "hypre=${HAVE_HYPRE:-false}"