diff options
Diffstat (limited to 'hadrian/src/Main.hs')
-rw-r--r-- | hadrian/src/Main.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/hadrian/src/Main.hs b/hadrian/src/Main.hs index 5bd7101180..36b1fd3cc1 100644 --- a/hadrian/src/Main.hs +++ b/hadrian/src/Main.hs @@ -65,6 +65,9 @@ main = do -- Ignore access to autom4te.cache directories. -- They are managed externally by auto tools. , "//autom4te.cache/**" + + -- Ignore in-tree GMP objects + , buildRoot -/- "**/gmp/objs/**" ] } |