search

open-mpi / ompi

Open MPI main development repository
https://www.open-mpi.org
Other
2.07k stars 844 forks source link

v5.0.x: dist/buildrpm: fix incorrect test, which passed even with an empty path #12630

Closed alex--m closed 2 weeks ago

alex--m commented 2 weeks ago

See #12622