diff --git a/config b/config index 3d35095..7d4ff99 100644 --- a/config +++ b/config @@ -1360,7 +1360,7 @@ addFilter(' non-devel-buildrequires recode') # Too noisy, and usually not something downstream packagers can fix addFilter(' incorrect-fsf-address ') addFilter(' no-manual-page-for-binary ') -addFilter(' static-library-without-debuginfo ') +addFilter(' static-library-without-debuginfo /usr/lib(?:64)?/ghc-[\d\.]+/') # many places have shorter paths addFilter(' non-coherent-filename ')