j
k
j a
j l
Yes, that "works". make doesn't even try to build MPI now.
Back to the thread
Back to the list