From 33b591bf296703498f084f9092c85443d6a5c8e6 Mon Sep 17 00:00:00 2001 From: Orion Poplawski Date: Tue, 25 Oct 2016 09:52:32 -0600 Subject: [PATCH] Add .rpmlint --- .rpmlint | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 .rpmlint diff --git a/.rpmlint b/.rpmlint new file mode 100644 index 0000000..0aa5b0e --- /dev/null +++ b/.rpmlint @@ -0,0 +1,6 @@ +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/");