diff options
| -rw-r--r-- | hadrian/src/Flavour.hs | 4 |
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. |