diff options
author | stuebinm | 2021-11-17 00:51:21 +0100 |
---|---|---|
committer | stuebinm | 2021-11-17 00:51:21 +0100 |
commit | a572b9e1b113e0c8bea94c4f561c35742cdf4aeb (patch) | |
tree | 478e848a77a5289356bb9acef8746f347f0b6275 /lib/LintConfig.hs | |
parent | 7b079ff7a66ea0d7baa12fa16f084f025c1c9fce (diff) |
exit with code 1 if maximum lint level exceeded
Diffstat (limited to '')
-rw-r--r-- | lib/LintConfig.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/LintConfig.hs b/lib/LintConfig.hs index 5c1ae20..d237356 100644 --- a/lib/LintConfig.hs +++ b/lib/LintConfig.hs @@ -34,7 +34,7 @@ data LintConfig f = LintConfig -- ^ Link to Script that should be injected , configAssemblyTag :: HKD f Text -- ^ Assembly name (used for jitsiRoomAdminTag) - , configMaxWarnLevel :: HKD f Level + , configMaxLintLevel :: HKD f Level -- ^ Maximum warn level allowed before the lint fails , configDontCopyAssets :: HKD f Bool -- ^ Don't copy map assets (mostly useful for development) |