Hello Santa,
On 12/25/19 3:40 PM, Jeff Squyres (jsquyres) wrote:
On Dec 24, 2019, at 9:08 PM, Guillaume Mercier via mpi-forum
<mpi-forum@lists.mpi-forum.org> wrote:
I did just that:
make PYTHON=/usr/bin/python3.8 cleandoc
But the result is the same:
Yes, that does not work right now -- we'd have to add that. I was asking if
that would be useful to you. I guess the answer is yes. ;-)
Soooo... I guess you've been a good (enough) boy this year. Git pull, and now
you have that functionality.
Merry Christmas!
- Santa Claus
Everything is A-OK!
Thank you, Santa!
Guillaume
_______________________________________________
mpi-forum mailing list
mpi-forum@lists.mpi-forum.org
https://lists.mpi-forum.org/mailman/listinfo/mpi-forum
