summaryrefslogtreecommitdiff
path: root/hadrian/src
diff options
context:
space:
mode:
authorMatthew Pickering <matthewtpickering@gmail.com>2022-05-30 09:04:17 +0100
committerMarge Bot <ben+marge-bot@smart-cactus.org>2022-05-30 13:46:01 -0400
commiteaaa1389bd8547a7595c2c11344c8024d9d46380 (patch)
tree75e25bf0ef12268a9d7e04b1014a9f46d6d93575 /hadrian/src
parent18326ad29b315ed9f086672c38b2c8f611bc7d19 (diff)
downloadhaskell-eaaa1389bd8547a7595c2c11344c8024d9d46380.tar.gz
Enable -dlint in hadrian lint transformer
Now #21563 is fixed we can properly enable `-dlint` in CI rather than a subset of the flags.
Diffstat (limited to 'hadrian/src')
-rw-r--r--hadrian/src/Flavour.hs4
1 files changed, 1 insertions, 3 deletions
diff --git a/hadrian/src/Flavour.hs b/hadrian/src/Flavour.hs
index 46fdd9abaf..ecc127b69c 100644
--- a/hadrian/src/Flavour.hs
+++ b/hadrian/src/Flavour.hs
@@ -142,9 +142,7 @@ enableLinting =
]
where
lint = mconcat
- [ arg "-dcore-lint"
- , arg "-dstg-lint"
- -- Should be -dlint but currently -dcmm-lint fails due to #21563
+ [ arg "-dlint"
]
-- | Enable Core, STG, and C-- linting in all compilations with the stage1 compiler.