diff options
| -rw-r--r-- | hadrian/src/Main.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/hadrian/src/Main.hs b/hadrian/src/Main.hs index 7fc15e245b..d2e0ace795 100644 --- a/hadrian/src/Main.hs +++ b/hadrian/src/Main.hs @@ -83,6 +83,11 @@ main = do -- Ignore in-tree GMP objects , buildRoot -/- "**/gmp/objs/**" ] + , shakeOutput = \v -> case v of + -- We don't want to print internal shake diagnostic messages as + -- they are too verbose to be of any use. See #20484. + Diagnostic -> const (pure ()) + _ -> shakeOutput shakeOptions v } rules :: Rules () |