Satish Balay <[email protected]> writes: > And I see one more issue. > > configure should use url provided by user and override whats in > package.py. But with giturl - its using giturl always - and ignoring user > specified url. > > --download-elemental=https://github.com/elemental/Elemental/archive/89e7ddc52db68dc5a3f2635733293d7349dbd518.tar.gz
Satish, I think this is now fixed in 'next'. https://bitbucket.org/petsc/petsc/commits/d9774d5711995c0de56bfb7d5e4575ef49d9cf00
pgp3D2pUd5i42.pgp
Description: PGP signature
