summaryrefslogtreecommitdiff
path: root/hadrian/src/Main.hs
diff options
context:
space:
mode:
Diffstat (limited to 'hadrian/src/Main.hs')
-rw-r--r--hadrian/src/Main.hs3
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/**"
]
}