diff options
| author | Andrey Mokhov <andrey.mokhov@gmail.com> | 2019-01-10 23:27:07 +0000 |
|---|---|---|
| committer | Ben Gamari <ben@well-typed.com> | 2019-01-14 09:30:40 -0500 |
| commit | 2f07a97ce9cbdb17e511897d514a6cffb678a843 (patch) | |
| tree | bf60aaf4ee5e9a175aaad1208a35ae9366d5a3ec /hadrian/README.md | |
| parent | ef8fedc17355b9f9b5dd08521248462be25c324c (diff) | |
| download | haskell-2f07a97ce9cbdb17e511897d514a6cffb678a843.tar.gz | |
Document the Shake Lint feature.
Diffstat (limited to 'hadrian/README.md')
| -rw-r--r-- | hadrian/README.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/hadrian/README.md b/hadrian/README.md index 2400699c73..a94a51be2b 100644 --- a/hadrian/README.md +++ b/hadrian/README.md @@ -116,6 +116,11 @@ this flag. * `--verbose`: run Hadrian in verbose mode. In particular this prints diagnostic messages by Shake oracles. +* `--lint`: run [Shake Lint](https://shakebuild.com/manual#lint) during the +build to check that the build system is well formed. Note that the Lint check +currently fails under certain circumstances, as discussed in +[this ticket](https://ghc.haskell.org/trac/ghc/ticket/15971). + #### User settings The Make-based build system uses `mk/build.mk` to specify user build settings. |