open-mpi / ompi

Open MPI main development repository

https://www.open-mpi.org

Other

2.07k stars 844 forks source link

v4.1.x: dist/buildrpm: fix incorrect test, which passed even with an empty path #12631

Closed alex--m closed 2 weeks ago

alex--m commented 2 weeks ago

12622