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