| from Config import * |
| addFilter("shared-library-calls-exit .*/lib(mpi|open-rte|oshmem|_java)\.so"); |
| # We use environment modules to load these paths |
| addFilter("file-not-in-%lang /usr/share/man/openmpi-"); |
| addFilter("invalid-locale-man-dir /usr/share/man/openmpi-"); |
| addFilter("library-without-ldconfig-post[iu]n /usr/lib(|64)/openmpi/"); |