Re: [petsc-dev] configure failed after update of OSX

[Mark Adams]

>
>
> Also can you check if --download-make works or breaks similarly?
>
>

This works.