diff options
Diffstat (limited to 'hadrian/src/Main.hs')
| -rw-r--r-- | hadrian/src/Main.hs | 9 |
1 files changed, 9 insertions, 0 deletions
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 () |