diff --git a/config b/config index 7d4ff99..b092d1e 100644 --- a/config +++ b/config @@ -1362,6 +1362,9 @@ addFilter(' incorrect-fsf-address ') addFilter(' no-manual-page-for-binary ') addFilter(' static-library-without-debuginfo /usr/lib(?:64)?/ghc-[\d\.]+/') +# the libre mess +addFilter(r'libre(?:ssl|office|cad)[^\:]+: \w: shlib-policy-') + # many places have shorter paths addFilter(' non-coherent-filename ')