diff --git a/testing/mmeshFromSource.sh b/testing/mmeshFromSource.sh index d1243dd..5ae0578 100644 --- a/testing/mmeshFromSource.sh +++ b/testing/mmeshFromSource.sh @@ -1,3 +1,10 @@ +# do not run on macOS, currently failing because of CGAL +if [ "$3" == "macOS" ]; then + echo "$0 disabled on Mac OS" + exit 0 +fi + + base="https://gitlab.dune-project.org" coreurl="$base/core" femurl="$base/dune-fem"