From d132b30ad7ee73606c745ad7e0b81383eea69d0a Mon Sep 17 00:00:00 2001 From: David Eichmann Date: Tue, 2 Apr 2019 10:59:12 +0100 Subject: Hadrian: lint ignore autom4te and ghc-pkg cache files. --- hadrian/src/Main.hs | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/hadrian/src/Main.hs b/hadrian/src/Main.hs index 11ee2334d9..34e2afe23e 100644 --- a/hadrian/src/Main.hs +++ b/hadrian/src/Main.hs @@ -44,6 +44,15 @@ main = do -- Enable linting file accesses in the build dir and ghc root dir -- (cwd) when using the `--lint-fsatrace` option. , shakeLintInside = [ cwd, buildRoot ] + , shakeLintIgnore = + -- Ignore access to the package database caches. + -- They are managed externally by the ghc-pkg tool. + [ buildRoot -/- "//package.conf.d/package.cache" + + -- Ignore access to autom4te.cache directories. + -- They are managed externally by auto tools. + , "//autom4te.cache//*" + ] } rules :: Rules () -- cgit v1.2.1